On Wed, Jun 03, 2020 at 12:26:10PM +0200, Michael Kerrisk (man-pages) wrote: > On Fri, 29 May 2020 at 11:25, Amir Goldstein <amir73il@xxxxxxxxx> wrote: > > > > Hi Michael, > > > > We made a last minute call to disable the FAN_DIR_MODIFY for v5.7. > > Here is a man page update with some promissed cleanups. > > Thanks, Amir. I'll just hold off a little longer on processing these, > in case there are Acked-bys / review comments. Sure, please do. I'm intending to get around to reviewing this series by the end of the week. /M
