tree fb6ff1343290d0a625eea5d29090db3c0d0df11d
parent 1e292141f36c165ded4efd103e9296fcfd45aa3f
author Benno Schulenberg <bensberg@telfort.nl> 1510513708 +0100
committer Benno Schulenberg <bensberg@telfort.nl> 1510513708 +0100

tweaks: frob a couple of comments