Successful build number properties

Hello everyone,

Currently, TeamCity provides such undocumented and deprecated properties as

system.successful.build.number and
env.SUCCESSFUL_BUILD_NUMBER

We consider these properties as "broken", because under some circumstances several concurrent builds will get the same value for these properties - and this cannot be avoided.

We plan to drop the support for these properties entirely. If there are any serious objections to this, this is the time to say :)

Kind regards,
KIR