On Mon, Jun 08, 2020 at 03:02:46PM +0200, Christoph Hellwig wrote:> ping? Can you pick these up now that the original patches are in> Linus' tree?Applied and pushed; will send pull request later today.