10-10-2015, 02:00 AM
(10-09-2015, 07:21 PM)xoft Wrote: @tigerw having version numbers maintained by the repository is always a difficult problem, because of updating them in a platform-independent way. That's why I propose we don't even store them at all, and use the metadata about the commit to specify the version.
The repository is platform independent, no? In any case, something about the commit of the plugin needs to be stored.