Open tdunning opened 1 year ago
Can somebody review and accept (or correct) this minor update?
@gschadow @dr-shorthair ?
I will be deleting this pull request in a few days if it is not acted on.
This still hasn't been merged. Should it be marked as WONT-FIX?
I believe @timbrisc is currently the only member with write-permission.
There seems to be a bug or misconfiguration with github.
we now have 3 approvals, I have just added mine, refreshed the page, and it's still telling me to add my review. It also tells me that merging can be performed automatically with one 1 approving review. That one more. Feels like being a horse running after the carrot dangling in front of my nose. Haha.
Apparently in the move to github, the license got converted to markdown.
Unfortunately, this rendered section 3 nearly unreadable even though the original raw text was pretty clear.
To remedy this, I inserted nested list annotations so that the original structure is visible in the rendered form.