Commit e4a0cbb825179bb3b9828e595df07a856e020734

Bruno Haible 2016-12-26T00:08:38

Reorder Makefile.devel.