-
Type:
Task
-
Resolution: Unresolved
-
Priority:
Minor
-
Component/s: core
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.