Cameron - maybe you didn't push "master" during the release? I thought that release:perform did that for us but maybe there was an issue? Anyway, please push master and also make sure you do a "git push --tags"
> On Jun 15, 2020, at 12:56 AM, Enrico Olivelli <[email protected]> wrote: > > Hey folks, > I am rebuilding the website, I noticed that current master is still with > 5.0.0-SNAPSHOT > > In my opinion it should be 5.1.0-SNAPSHOT > > It this idea is correct, shall I update the versions and push to master or > send a PR ? > > > Enrico
