Re: [RFA 31/42] Remove a TODO

Simon Marchi
2018-07-10T03:42:20Z

On 2018-05-23 12:58 AM, Tom Tromey wrote:
> This removes a TODO comment -- the work has been done.

Obviously ok, thanks for this :).

Simon