tree d36fe846c6590eeef84bc025ca07010345f6641f
parent 4627115eafa2ec03d668b59701633c29cfb62b4c
author Reto Gmür <reto@apache.org> 1444567093 +0200
committer Reto Gmür <reto@apache.org> 1444567093 +0200

minor tidying up at several locations