tag 20200207
Hello,
the commit tagged 20200207 does not have the test/ directory, in contrast to previous release tags. However, some of the files in the test/ directory ar needed to rebuild the manual. They might also be useful for other things. Pleae consider putting this directory back in the release.
-Ralf