Some "do not commit" things have been commited.

[kwannoel]

In GitLab by @isd on Apr 30, 2021, 05:27

There are a couple places where we have a comment to the effect of "for debugging purpoes, you can put suchandsuch here, but don't comitt it" and the thing is indeed there and comitted. The examples I'm aware of:

• https://gitlab.com/mukn/glow/-/blob/master/runtime/consensus-code-generator.ss#L39-41
• https://gitlab.com/mukn/glow/-/blob/master/runtime/participant-runtime.ss#L330

[kwannoel]

In GitLab by @isd on May 3, 2021, 00:05

mentioned in merge request !129