release-2.0.9
c49ecf6f · rename os2 makefile so that 'make dist' catches it; update it a bit. · Oct 30, 2018