Sat, 27 Feb 2021 16:33:16 +0100 | wenzelm | discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working; | changeset | files |
Sat, 27 Feb 2021 13:39:06 +0100 | wenzelm | more checks; | changeset | files |
Sat, 27 Feb 2021 13:37:04 +0100 | wenzelm | clarified message; | changeset | files |