GitHub patch release previous version

On Github you way from time to time need to patch...