Akim Demaille cf96d1b0af Merge branch maint ...

* maint:
  maint: post-release administrivia
  version 3.3.2
  style: minor fixes
  NEWS: named constructors are preferable to symbol_type ctors
  gram: fix handling of nterms in actions when some are unused
  style: rename local variable
  CI: update the ICC serial number for travis-ci.org

2019-02-03 15:23:54 +01:00

121 KiB

Raw Blame History

View Raw