Fixes to REINITIALIZE-GLOBAL-TABLE: ignore invalid entries in the *GLOBAL-TABLE*, and reload files in the same order as they were initially loaded. From Lynn Quamm.
Loading
Please register or sign in to comment
Fixes to REINITIALIZE-GLOBAL-TABLE: ignore invalid entries in the *GLOBAL-TABLE*, and reload files in the same order as they were initially loaded. From Lynn Quamm.