@Tak Hey! Any chance that a 2017.4.17 Linux editor is planned to be added at some point? Not a request, just wondering. :)

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!