-
Task
-
Resolution: Unresolved
-
Minor
-
None
It is a follow-up to the discussion in https://github.com/jenkinsci/jenkins/pull/3292#discussion_r168301766 (fix for JENKINS-49387 / JENKINS-49520). We need to investigate whether it is feasible to allow multi-zero prefixes before numbers.