On Tue, Nov 27, 2018 at 8:53 AM Nguyễn Thái Ngọc Duy <[email protected]> wrote: > > Signed-off-by: Nguyễn Thái Ngọc Duy <[email protected]>
I would not mind to have this squashed into the previous patch but keeping it separated is fine, too. (Reason for squashing: it makes it clearer that we do not care about one specific option, but have to treat all the loose options the same way.)

