Closed WraithGlade closed 1 year ago
Did you grep to see if there were more instances of plain Note that could use bolding?
Ooops, that's a good point. I'll do that now and check. Thanks!
On Thu, Mar 16, 2023 at 5:07 PM Jeroen van Rijn @.***> wrote:
Did you grep to see if there were more instances of plain Note that could use bolding?
— Reply to this email directly, view it on GitHub https://github.com/odin-lang/odin-lang.org/pull/101#issuecomment-1472740490, or unsubscribe https://github.com/notifications/unsubscribe-auth/AB7ZBFKI2TPQZKITSJBEQHTW4N6IHANCNFSM6AAAAAAV5XRHMQ . You are receiving this because you authored the thread.Message ID: @.***>
Ok, done, I double checked it and found just one more.
On Thu, Mar 16, 2023 at 5:20 PM Jesse Bollinger @.***> wrote:
Ooops, that's a good point. I'll do that now and check. Thanks!
On Thu, Mar 16, 2023 at 5:07 PM Jeroen van Rijn @.***> wrote:
Did you grep to see if there were more instances of plain Note that could use bolding?
— Reply to this email directly, view it on GitHub https://github.com/odin-lang/odin-lang.org/pull/101#issuecomment-1472740490, or unsubscribe https://github.com/notifications/unsubscribe-auth/AB7ZBFKI2TPQZKITSJBEQHTW4N6IHANCNFSM6AAAAAAV5XRHMQ . You are receiving this because you authored the thread.Message ID: @.***>
The lack of bold here is inconsistent with the style of other instances of "Note:" in the docs.