-
Ross Paterson authored
The command stack was being extracted (by unscramble) with the outermost type first, contrary to the comment on the function.
6ee15d31
The command stack was being extracted (by unscramble) with the outermost type first, contrary to the comment on the function.