Group commit for recovery after disk crash. See Changelog for changes WRT release 990110.
diff --git a/debugger/debug.l b/debugger/debug.l index 0c4bc8a..7dd2cb2 100644 --- a/debugger/debug.l +++ b/debugger/debug.l
@@ -33,7 +33,7 @@ DIGIT [0-9] HEXDIGIT [0-9a-fA-F] -FORMAT [bcdiswx] +FORMAT [ubcdiswx] IDENTIFIER [_a-zA-Z\.~][_a-zA-Z0-9\.~@]* PATHNAME [/_a-zA-Z\.~][/_a-zA-Z0-9\.~@]* STRING \"[^\n"]+\"