Tracking my latest version of the "openismus-work", before Tristan's last forced push. This should make a few old commit ids available again, and we get a chance to verify that nothing got lost.
Tracking my latest version of the "openismus-work", before Tristan's last forced push. This should make a few old commit ids available again, and we get a chance to verify that nothing got lost.