Skip to content

typo: ctr -> wr#14

Open
grodin wants to merge 1 commit intomainmatter:mainfrom
grodin:grodin-patch-1
Open

typo: ctr -> wr#14
grodin wants to merge 1 commit intomainmatter:mainfrom
grodin:grodin-patch-1

Conversation

@grodin
Copy link
Copy Markdown

@grodin grodin commented Mar 30, 2026

Spotted what seems to be a typo in the intro to section 1.

I think the newly installed tool refers to the workshop runner (presumably the tool had a name change at some point but this reference to it wasn't updated).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant