Unwittingly back to 7.2

Nuendo
3

No, none of that.

Just one day it was back to the older version.