Skip to content

Fix trivia bug

Choose a tag to compare

@rnortman rnortman released this 03 Jul 19:55
· 176 commits to main since this release

This fixes a bug caused by the trivia rule being all caps, so it was renamed from "_TRIVIA" to "_trivia".