Hi All…
I’m just beginner in Gdevelop… Glad to get opensource game developer that support Linux.
I’ve been using Ubuntu about 8 years ago, and still searching for game engine that fit my programming skill … 
Thank you for Gdevelop team. I’m going to submit my games then.
