On Tue, Nov 27, 2018 at 8:53 AM Nguyễn Thái Ngọc Duy <pclo...@gmail.com> wrote: > > Signed-off-by: Nguyễn Thái Ngọc Duy <pclo...@gmail.com>
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.)
