Added sanity check; improved comments
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 17 Jul 2019 14:13:07 +0000 (16:13 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 17 Jul 2019 14:13:54 +0000 (16:13 +0200)

No differences found