Revision 7cbb84c5c3ea830c9b69ed1ef4807191cbc2f95f

Committed on 01/11/2018 5:59 am by Johannes Schmitt <schmittjoh@gmail.com> [GitHub Diff]

replaces another assertion