Skip to content
Commit c8dffa41 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'write-once-persistent-dict' into 'master' 

Use WriteOncePersistentDict instead of PersistentDict.

See merge request !61
parents c9370b1a ddc07eee
Pipeline #8823 passed with warnings with stage
in 24 minutes and 15 seconds