Open gkellogg opened 2 years ago
Note, sadly no PR-preview on the UCR document.
@gkellogg thanks for this! However I'm wondering whether it's a bit early.
@ioggstream @pchampin what do you think?
This PR was discussed in the 2022-07-06 meeting, and it was decided to not merge now, and wait until more use cases have been identified and reconciled.
This is a pretty straight forward copy/paste from the issue into the document, which is probably good enough for now.
Addresses #7, #8, #11, #12, #13, #17, #19, #31, and #35.
cc/ @nichtich, @anatoly-scherbakov.