Bernd Dorn (@dobe) <[email protected]> Christian Haudum (@chaudum) <[email protected]> Jodok Batlogg (@jodok) <[email protected]> Lukas Ender (@lumannnn) <[email protected]> Mathias Fussenegger (@mfussenegger) <[email protected]> Matthias Wahl (@mfelsche) <[email protected]> Philipp Bogensberger (@bogensberger) <[email protected]> Sebastian Utz (@seut) <[email protected]>
Alex Jarvis (@alexanderjarvis) <[email protected]> Bernd Rössl (@quodt) <[email protected]> Bernhard Kuzel (@burnes) <[email protected]> Christian Bader (@christianbader) <[email protected]> Miguel Ping (RUPEAL) (@mping) <[email protected]> Øyvind A. Holm (@sunny256) <[email protected]>
Note: (@user) means a github user name.