Re: [RFA 01/67] Add add_cmd function overloads

Tom Tromey
2017-09-27T14:44:21Z

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> I thought so too, though grepping for "Ok" in the ARI finds
Pedro> no hits. We have some markers in the tree for ARI, but they
Pedro> start with "ARI: ". I'd zap the "Ok." comments see what happens.

Seems fine, so I've updated the patch accordingly.

Tom