LaurentGomila/SFML — comment on commit 88683504ba67a4f4ce79af93b61cbaf0518b4b50
File:  line 0
By LaurentGomila:

I definitely should do that, yes. But when it's a hot fix related to a previous commit, I want to push it as soon as I can in order to avoid being spammed by forum messages, pull requests and new issues in the tracker.