Respec doesn't appear to have a publication history setting, so adding as an otherLinks entry.
This is purely editorial, and approved by WG consensus in principle, so although it needs an approval review to allow the GitHub merge, once that is in place we can go ahead without further review.
Closes #80
Respec doesn't appear to have a publication history setting, so adding as an
otherLinks
entry.This is purely editorial, and approved by WG consensus in principle, so although it needs an approval review to allow the GitHub merge, once that is in place we can go ahead without further review.
Preview | Diff