On Wed, Oct 05, 2022 at 09:43:36PM +0200, Pali Rohár wrote: [...] > > On > > the other hand there's really no use in keeping this comment around > > after that other patch because the documentation for the new macro lays > > out the details already. > > > > Thierry > > Ok, whether documentation is needed or not - it is your maintainer > decision. Maybe really obvious things do not have to be documented. > Also another look at this problem can be that if somebody wrote wrong > documentation for it, maybe it is not too obvious? I do not have opinion > on this, so choose what is better :-) > > In any case, wrong documentation (which is the current state) should be > fixed (and removal in most case is also proper fix). I agree. I would apply this patch if Thierry is still OK with it. Lorenzo
