tree bb7af9ea2fc1cb1f81b04dc8dc82a1cfb07ebff6
parent 217cfbf362703b3e32d228822e1a8c932bc0abb0
author Benno Schulenberg <bensberg@telfort.nl> 1507974909 +0200
committer Benno Schulenberg <bensberg@telfort.nl> 1507975108 +0200

tweaks: adjust indentation and comments after the previous change