OK, good to know.
But anyway, if I change this to 12.9.82 now, addon-pr wouldn't accept PRs with a lower version.
What about keeping it at 12.0.0 for now and when gotham is final we raise the requirement (in addon-pr, wiki and for PRs) to 13.0.0?