Stream: contributing

Topic: ✔ Small typo on user_error macro


view this post on Zulip Fábio Beirão (May 30 2023 at 13:49):

Hopefully this "we don't havs" is a typo and not some internal joke :sweat_smile:
If it is a typo, here's the 1 liner PR to fix it :smile:

view this post on Zulip Brendan Hansknecht (May 30 2023 at 13:54):

Sounds like the kind of typo I probably made.

view this post on Zulip Notification Bot (May 30 2023 at 14:37):

Fábio Beirão has marked this topic as resolved.


Last updated: Jul 06 2025 at 12:14 UTC