Investigate whether dumb_println can be removed #11043
Description
In #10965, I have made the runtime's dumb_println function much less useful. Try to delete it (after the PR lands)
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
In #10965, I have made the runtime's dumb_println function much less useful. Try to delete it (after the PR lands)