e82b930 Fix matching an ASCII digit followed by a non-ASCII digit using a script run

Authored and Committed by ppisar 5 years ago
    Fix matching an ASCII digit followed by a non-ASCII digit using a script run
    
        
file modified
+7 -0