On 2/26/19 4:54 PM, Amir Goldstein wrote: > On Tue, Feb 26, 2019 at 5:44 PM Michael Kerrisk (man-pages) > <mtk.manpages@xxxxxxxxx> wrote: >> >> On 2/4/19 9:53 AM, Amir Goldstein wrote: >>> On Sat, Nov 17, 2018 at 6:32 PM Amir Goldstein <amir73il@xxxxxxxxx> wrote: >>>> >>>> Hi Michael, >>>> >>>> Here are the updates w.r.t new fanotify API FAN_MARK_FILESYSTEM >>>> and FAN_REPORT_TID that were merged for kernel v4.20-rc1. >>>> >>> >>> Hi Michael, >>> >>> I forgot to follow up on those changes. >>> Haven't been following man page release process. >>> Are man page releases correlated with kernel point releases? >> >> Hello Amir, >> >> Send the patches any time. CC me and linux-man@xxxxxxxxxxxxxxx >> please. It's been a long time since I did a release. But I >> will do one "soon". >> > > Hi Michael, > > I had already sent the patched back in Nov to the list. > Attached here again. Apologies. I've had few spare cycles in the last months, and I forgot this. Thanks for the ping. Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/
