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