Re: [clreq] Add ids to the Glossary (#270)

I have no strong opinion on this, so will keep status quo in the PR and merge it (after resolving the merge conflicts).

GitHub Notification of comment by xfq
Please view or discuss this issue at using your GitHub account

Received on Thursday, 9 April 2020 07:12:29 UTC