--- ai12s/ai12-0348-1.txt 2020/01/17 05:35:23 1.2 +++ ai12s/ai12-0348-1.txt 2020/01/18 05:06:35 1.3 @@ -31,7 +31,7 @@ is the entire subclause; many parts are unchanged, but enough change that it is easier to just repeat the entire thing.] -!corrigendum A.5.10(0) +!corrigendum 4.5.10(0) @dinsc