redtt icon indicating copy to clipboard operation
redtt copied to clipboard
verified publisher icon RedPRL

Weird bug when trying to introduce pi type

Open jonsterling opened this issue 7 years ago • 0 comments

Noticed this with @kaonn today; I'll try and troubleshoot & fix

jonsterling avatar Oct 10 '18 21:10 jonsterling