https://d.puremagic.com/issues/show_bug.cgi?id=12229
--- Comment #2 from Andrew Edwards <[email protected]> 2014-02-27 21:48:44 PST --- We should indeed remove VERSION from the repo. At no time should HEAD be tagged with a specific version number. This creates confusion when trying to identify between changes intended for master vs. the branch and unnecessarily complicates the pick process. -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
