Akim Demaille a0675d707f Merge branch 'maint' into HEAD ...

* maint:
  gnulib: update
  lalr1.cc: avoid static_cast
  glr.c: add missing cast
  regen
  package: bump copyrights to 2020
  gitignore: update

2020-01-11 07:38:39 +01:00

85 KiB

Raw Blame History

View Raw