tree d63247656e26cde7d18498432e2802a10433dbbc
parent 40ece52f71e9c1bd70dd05563f8f5fe13e6dd8fa
author Thomas Klausner <tk@giga.or.at> 1604444272 +0100
committer Thomas Klausner <tk@giga.or.at> 1604444272 +0100

Fix two documentation bugs reported by Ларионов Даниил.