- Update to version 0.07
* Sanitize input after fgets()
* Fix deprecated function usage
* Make room for printing a 32 bit integer
- Rebased tint-0.04-per-user-highscore.patch
- Update to version 0.07
* Sanitize input after fgets()
* Fix deprecated function usage
* Make room for printing a 32 bit integer
- Rebased tint-0.04-per-user-highscore.patch
@gberh: review reminder