Revision ba6fb37ae3764dab37b97e9f27818dd0324d8bdd

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

removes assertion