Fix minor typo in guide: add a missing parenthesis #3

Merged
poeschko merged 1 commit from patch-1 into master 2020-09-12 13:10:40 +02:00
poeschko commented 2019-12-31 10:00:16 +01:00 (Migrated from github.com)
No description provided.
marijnh commented 2020-09-12 13:11:00 +02:00 (Migrated from github.com)

Thank you! I didn't notice this before due to accidentally having email notifications turned off for this repository.

Thank you! I didn't notice this before due to accidentally having email notifications turned off for this repository.
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
lezer/website!3
No description provided.