> >> Oops, my bad! Patch applied. > > > > If you don't mind me asking, where has the patch been applied? I don't > > see it on the kernel.org repo [1]. > > Sure, I don't yet have a kernel account, so my tree is on github: > <https://github.com/alejandro-colomar/man-pages>. > > I forwarded it right now in a patch set to Michael's tree (the one in > kernel.org). Ah, I see now. Thanks for explaining the process! Cheers, ---Sagar Patel
