Fix problem in sorting pre-release-tags

[dtabuenc]

This fixes #294 which causes wrong ordering of pre-release tags.

[JakeGinnivan]

@andreasohlund I can't merge after repo move :P But this is good to merge

[andreasohlund]

Try now?

On Tue, Nov 11, 2014 at 3:07 PM, Jake Ginnivan notifications@github.com
wrote:

@andreasohlund https://github.com/andreasohlund I can't merge after
repo move :P But this is good to merge

—
Reply to this email directly or view it on GitHub
#295 (comment)
.

[gep13]

@JakeGinnivan before you do that, can you check your emails? 👍

[gep13]

@andreasohlund I don't seem to be able to assign labels, milestones, etc. Should I be able to? Wanted to start to take care of this.

[andreasohlund]

My bad, should be ok now?

On Wed, Nov 12, 2014 at 4:50 PM, Gary Ewan Park notifications@github.com
wrote:

@andreasohlund https://github.com/andreasohlund I don't seem to be able
to assign labels, milestones, etc. Should I be able to? Wanted to start to
take care of this.

—
Reply to this email directly or view it on GitHub
#295 (comment)
.

[gep13]

Yip, I can do it now, thanks!

[gep13]

@andreasohlund with the change in GitHub Organisation, were the VCS roots updated in TeamCity? I don't see the familiar feedback below indicating that the PR succeeded successfully?

[andreasohlund]

Lemme, take a look!

On Wed, Nov 12, 2014 at 5:43 PM, Gary Ewan Park notifications@github.com
wrote:

@andreasohlund https://github.com/andreasohlund with the change in
GitHub Organisation, were the VCS roots updated in TeamCity? I don't see
the familiar feedback below indicating that the PR succeeded successfully?

—
Reply to this email directly or view it on GitHub
#295 (comment)
.

[andreasohlund]

Fixed

[gep13]

@dtabuenc thank you very much for your contribution here!