You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Good catches. Thank you very much for reporting!
(For the record: The first one was already fixed in an earlier commit and was a parser issue instead of a typo.)
Hi,
I found the following minor typos in the manual.
Version: 3.1.5b
Thanks!
The text was updated successfully, but these errors were encountered: