Pierangelo Masarati ando@sys-net.it wrote:
- are $<digit> supported in val.regex ?
No, AFAIK.
I implemented ${v<digit>+} for substituing from val.regex. It took some time because the modification ended to be much more extensive than expected.
Please reveiw ITS#5804 and tell me if it looks safe to commit.