make meta part of records visible in mir - #899

Closed

SteveBronder wants to merge 2 commits into

stan-dev:masterfrom

SteveBronder:fix/make-metas-visible-in-mir

Commits on May 13, 2021

make meta part of records visible in mir
SteveBronder
committed
04baf4f

Commits on May 17, 2021

Make only the locations in meta opaque
SteveBronder
committed
1abf66c