Issue77

Try to fix issue77 (hashing/equality problems).

Merge request reports

Loading