Closed jlaurens closed 2 months ago
Just for future reference, you don't have to (and most projects would prefer you did not) open new PRs to tweak something. Just update the commits in the branch you submitted and push (or force push) to the branch and the PR will update.
return attrib(P,'mode') ~= nil and P
actually returnsP
orfalse
which does not follow the documentation.