Akim Demaille ebe427bbf3 Merge branch 'maint' ...

* maint:
  maint: post-release administrivia
  version 3.5.1
  news: update
  CI: use ICC again
  warnings: pacify ICC in lalr1.cc
  test: report.at: avoid tiny new failure
  git: update ignores

2020-01-19 14:50:09 +01:00

13 KiB

Raw Blame History

View Raw