Folks,
I think I've now done everything to make a new release – essentially,
it was a matter of continued comparation between the last tarball and
the current git repository. There are surprisingly few changes
(expect Bernd's clean-up of copyright issues), so I don't expect large
surprises.
After Bernd's commits to fix the IPC issue, I can do `make dist' and
distribute it. Before doing this, however, I want to wait a few days
so that you can test and check whether everything's fine. Please do so!
Werner
