Piefon eddykashun

Anvil Q&A
2

And as soon as I post, I find this :

import re
...
str1="12345-67-89"
print (re.findall('\d+', str1 ))

which seems to do exactly the same thing.

2 Likes