chiark / gitweb /
changelog, Makefile.in: burn version numbers 0.4.1 and 0.4.2