Ping?
- bug#36739: [PATCH] maint: fix issues in syntax-check Akim Demaille
- bug#36739: maint: fix issues in syntax-check Akim Demaille
- bug#36739: maint: fix issues in syntax-check Paul Eggert
- bug#36739: [PATCH] maint: fix issues in syntax-check Bernhard Voelker