Commit 3c5e5ec8 authored Sep 26, 2017 by Andreas Klöckner

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

Use WriteOncePersistentDict instead of PersistentDict.

See merge request inducer/pyopencl!23