Skip to content

Conversation

@afs
Copy link
Contributor

@afs afs commented Sep 24, 2025

From the suggestion in #245 (comment)

  • Use same style to link to the primer in 1.4

Preview | Diff

@afs afs requested review from hartig and pchampin September 24, 2025 20:18
@afs afs added the Editorial Errata management: this erratum is editorial label Sep 24, 2025
@afs afs merged commit 102b284 into main Sep 25, 2025
3 checks passed
@afs afs deleted the brief-1.5 branch September 25, 2025 07:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Editorial Errata management: this erratum is editorial

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants