>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes: Tom> I happened to notice that output_command_const still exists, but is Tom> not needed any more -- commands are always const-correct now. This Tom> patch removes this leftover. Ping. Tom