tree 4570a9a38382d6c13b49eddff4820ffacdad8b58
parent 2bc0d5a6bec74031ed12ff7727d857a5c8361d02
author Thomas Klausner <tk@giga.or.at> 1589818448 +0200
committer Thomas Klausner <tk@giga.or.at> 1589818448 +0200

Quote ';' so it makes it into the output.