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". Thanks, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/