--- ai05s/ai05-0171-1.txt 2011/02/08 08:21:06 1.7 +++ ai05s/ai05-0171-1.txt 2011/06/20 04:55:17 1.8 @@ -167,7 +167,8 @@ Alan : Worker(1); -!corrigendum D.13.1(4/2) +!comment Moved by AI05-0246-1 from D.13.1(4/2) to +!corrigendum D.13(5/2) @drepl @xcode<@b<pragma> Task_Dispatching_Policy (FIFO_Within_Priorities);