Fábio Beirão (May 25 2023 at 20:38): Fábio Beirão (May 25 2023 at 20:38):Hey everyone :wave:🏻 Super new here. Also new to Zulip, so I hope I'm not making some mistake with "new topic" 😅
Anyhow, I was looking through the documentation and found a minor typo in the documentation for div. The docs contain the word denomaintor when the correct one would be denominator . According to contributting.md this is the place to check/notify. Cheers!
Brendan Hansknecht (May 25 2023 at 21:39):Yeah. Prefect place to bring up things like this.
Brendan Hansknecht (May 25 2023 at 21:40):If you are interested, super easy PR to make as a first contribution. Otherwise, anyone should be able to simply handle the typo.
Fábio Beirão (May 25 2023 at 21:58):I'll send the PR, 1 moment :). Do I send it to main ? There's a few branches :sweat_smile:
Brendan Hansknecht (May 25 2023 at 22:01):Yeah
Fábio Beirão (May 25 2023 at 22:08):Ok, PR 5448 :pray:🏻
Notification Bot (May 26 2023 at 07:30):Fábio Beirão has marked this topic as resolved.
Notification Bot (May 26 2023 at 08:18):Fábio Beirão has marked this topic as unresolved.
Fábio Beirão (May 26 2023 at 08:20):Thank you for the merge @Brendan Hansknecht :pray:🏻 I was so happy with it that this morning I went back and decided to check if there were a few other glaring typos. I found a couple of them. Let me know if this PR is acceptable or if you would prefer to break it down.
Last updated: Jul 05 2025 at 12:14 UTC