Missing git tag for 8.5.13
https://github.com/vigna/fastutil/tags
There's a tag for 8.5.12 and 8.5.14 but not 8.5.13.
There's release notes for 8.5.13:
https://github.com/vigna/fastutil/blob/fcac58f7d3df8e7d903fad533f4caada7f4937cf/CHANGES#L30-L35
And maven artifacts: https://mvnrepository.com/artifact/it.unimi.dsi/fastutil/8.5.13
But I'm not sure how to tell which exact commit that's from
Not a big deal or anything, just a little thing I thought I'd report. Just looking to upgrade versions internally and found this tag missing.
This commit bumped revision in build.properties to 8.5.14: https://github.com/vigna/fastutil/commit/a439dee15f43283ad538b1a2f6b63155446b3176
its parent added release notes for 8.5.14: https://github.com/vigna/fastutil/commit/f5dfbbe15325a47706468233f24dc71a97b89ad3 about a feature mouse0x0 added.
Going back before that feature, looks like https://github.com/vigna/fastutil/commit/e0ef03b9e6d2b997c899895526df0e76fdc1220c was the latest commit that added changes to the 8.5.13 release notes. I'm guessing that's where 8.5.13 was cut from?