debian / compaton commit Merge refs/heads/master from paulus (5101710)
   14