On Wed, Jun 12, 2019 at 09:40:17AM -0300, Guilherme Piccoli wrote: > Hi Greg and Sasha, is there any news about these patches? What patches? > Just checked the stable branches 5.1.y and 5.0.y, they seem not merged. Are they merged in Linus's tree? What are the git commit ids? I have no record of these patches in my queue at the moment, sorry. If these were a backport, please resend them in the proper format. thanks, greg k-h