Closed kaduk closed 4 years ago
If you agree @kaduk I would go ahead and merge this PR (excluding the "update of access rights" change at l.776).
If you agree @kaduk I would go ahead and merge this PR (excluding the "update of access rights" change at l.776).
Sorry, I missed this when it came in. Please go ahead.
Not much here, though a couple points I'll leave some further comments on, as the proper disposition is not entirely clear.