You are reading a single comment by @Gordon and its replies.
Click here to read the full conversation.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
@Gordon
You can figure out the author's GitHub ID from the GitHub history right?
Just create a new bug then mention their name with '@' and their name right after and it'll send them a message to say they've been mentioned in the issue. If you see someone else filed a bug about an app it's always worth writing a reply with something like
Any ideas @...just so they see it