firedrakeproject/firedrake — pull request #239 by wence- (2014-04-07 12:25:29+00:00)
Title: Fix/map cache

Needs OP2/PyOP2#351