Decode PRIM closures

seems to have got lost in git confusion when preparing !35 (merged)

Merge request reports

Loading