On Mon, Jan 27, 2014 at 12:50 AM, Robert Munteanu <robert.munteanu@gmail.com> wrote:
> Do you think it would be useful to add the missing tags in the
> repository (really not a big deal to do really, just looking up the
> commits whenever the mantis_version string has changed)


Sounds good.