tree 174c83bd2edf3d82dd8f498c4ca07b22c025235b
parent 5cec3196687185870ef6ae46b44d2a6c3cf24e98
author Thomas Klausner <tk@giga.or.at> 1593594125 +0200
committer Thomas Klausner <tk@giga.or.at> 1593594125 +0200

Fix syntax error in previous.