End of Dec 2022 telco, the question was raised, shall we create issues for groups or individual contributed definitions as a place to track development or status. Advantage: these can be referenced when PRs are made to ratify them, and authors can more easily be contacted.
End of Dec 2022 telco, the question was raised, shall we create issues for groups or individual contributed definitions as a place to track development or status. Advantage: these can be referenced when PRs are made to ratify them, and authors can more easily be contacted.
Discussion welcome!