I didn't realize that github allows to add binaries to an existing release (and customize it in general). Now that I do, a separate branch doesn't make sense. :)
------------------------------------------------------------------------------ _______________________________________________ Re2c-general mailing list Re2c-general@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/re2c-general