bug#36739: maint: fix issues in syntax-check

2019-08-04 Thread Paul Eggert
Thanks, I installed that.

bug#36739: maint: fix issues in syntax-check

2019-08-04 Thread Akim Demaille
Ping?