-
Z.J. van de Weg authored
There was a bug, as a negation was missing. This has been added now, so the feature should be good to merge now.
😄 Also includes minor style fixescd5f913e
There was a bug, as a negation was missing. This has been added now, so the feature should be good to merge now.😄 Also includes minor style fixes