ISO/IEC JTC1/SC22/WG5 N1376



Disposition of Comments on Concurrent PDTR Registration and PDTR Ballot 
for PDTR 15580 

There was only one comment, from Japan:

Page 23, 15.9.25, Result Value, last line:
Change "IEEE_SET_HALTING(FLAG)" to "IEEE_SET_HALTING(FLAG,HALTING)".

This has been accepted.