Skip to content
Commit 6707e083 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 !155
parents 96f1c025 88a0422e
Pipeline #8868 failed with stage
in 39 minutes and 45 seconds