Fate map fixes #191

Merged
zxq9 merged 2 commits from fate-map-fixes into master 2019-08-27 17:55:38 +09:00

2 Commits

Author SHA1 Message Date
Ulf Norell
c6475fe1c2 Fix typo 2019-08-26 11:57:21 +02:00
Ulf Norell
4e4c20c387 Remember to unfold store map caches too! 2019-08-26 09:06:43 +02:00