Small improvements to the RecorderChip and the Transcript lines #12

Merged
DrMint merged 3 commits from develop into main 2022-03-13 17:25:36 +00:00
No description provided.