Closed bgamari closed 5 years ago
These appear to be quite unnecessary.
Ah yes, those were mainly intended for debugging the trac comment number -> gitlab note ID mapping. I should probably remove them.
These appear to be quite unnecessary.