20933: Use [0-9] instead of \d in regex
authorPeter Amstutz <peter.amstutz@curii.com>
Wed, 11 Oct 2023 20:32:50 +0000 (16:32 -0400)
committerPeter Amstutz <peter.amstutz@curii.com>
Wed, 11 Oct 2023 21:14:01 +0000 (17:14 -0400)
commit97e40209600c094eac15085627e49da52ab0f517
tree49ce9af1957075a7a9a85ec62768bc2bd8d1d872
parent6a16dad57c5d082d00199a13440357b8ff204a77
20933: Use [0-9] instead of \d in regex

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>
sdk/python/arvados/util.py