What (user) invisible said. year.week or year.week.patch if there has been a patch. And there's a build number after that. We're on 4fbcc4b942a8, probably the prefix of a git hash I'm guessing. But then there's kind of a marketing version number as well, for which we are currently on v10.0 or v10. something: