Re: [PATCH 07/22] Remove stale comments

Pedro Alves
2016-11-24T18:38:30Z

On 11/24/2016 03:24 PM, Simon Marchi wrote:
> I am pretty sure that these comments aren't true anymore.

Right, the default ui_out is gone, since:

commit 23ff98d2fed4a1eaeb815e18cd4169e5aa7aaa60
Author: Pedro Alves <palves@redhat.com>
AuthorDate: Tue Jun 21 01:11:48 2016 +0100

Delete def_uiout

Thanks,
Pedro Alves