Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.Sign up
1,043 contributions in the last year
Created a pull request in genodelabs/genode-world that received 1 comment
Friday SDL fixup.
Created an issue in genodelabs/genode that received 9 comments
The the use of the
#!/usr/bin/env CMD shebang rather than
#!/usr/bin/CMD is portable across Unixes without a "standard"