On Tue, 2020-02-11 at 14:46 +0000, Filipe Manana wrote: > It's a bug fix, so yes. In fact you can check that yourself: Thanks... actually I did check it directly in linux-stable.git ... but it must have been merged shortly afterwards ^^ Cheers, Chris.
