tree 0be74c6749f999ae26ea3b17d3046b288f5aa47f
parent d33b5f3dab282effd12397d6cc5c6beab8e25c69
author Benno Schulenberg <bensberg@telfort.nl> 1511375207 +0100
committer Benno Schulenberg <bensberg@telfort.nl> 1511375793 +0100

tweaks: reshuffle a couple of lines, and frob a comment or two