On 08/12/2020 10:28, Christoph Hellwig wrote: > On Tue, Dec 08, 2020 at 12:27:41AM -0500, Martin K. Petersen wrote: >> >> Christoph, >> >>> The existing behavior is inconsistent in the sense that doing: >>> >>> permits writes. But: >>> >>> <something triggers revalidate> >>> >>> doesn't. >>> >>> And a subsequent: >> >> Looks like the command line pieces got zapped from the commit >> description. > > Yeah. It seems like git commit just removed them after I pasted them, > weird. > Might be because of a leading #, happened to me as well in the past. Just add a single space on the start of the line and git commit is happy.