Commit c385b8bc authored by Theo Steininger's avatar Theo Steininger
Browse files

Merge branch 'issue77_2' into 'master'

try to address hashing/equality problems and fix caches

See merge request !72
parents 42951308 bd1e0f27
Pipeline #11891 passed with stages
in 16 minutes and 4 seconds