tree c73622d35fd8eebfdc8d66773cd9d09166f44317
parent 40098f0445599d53eb85254777734ccef6ce6915
author Thomas Klausner <tk@giga.or.at> 1594030740 +0200
committer Thomas Klausner <tk@giga.or.at> 1594030740 +0200

Various cleanups.