Which is it? 9.3.10 or 10.0.0

[dev77]

This morning I got an email from notifications@github.com titled "Release 9.3.10.

A bit later I got an email from notifications@github.com titled "release 10.0.0.

When I do the upgrade (via the terminal) will I get 9.3.10 or 10.0.0... or both?

I currently run 9.3.9.

[yuri]

Hi,

The version to which it will upgrade to will be printed before starting. It will be 9.3.10 first.