Open E0735389 opened 5 months ago
[IMPORTANT!: Please do not edit or reply to this comment using the GitHub UI. You can respond to it using CATcher during the next phase of the PE]
Thanks for spotting the mistake. The optional /note command is indeed missing from the error message which does not affect normal operations when the user follows the user guide, hence the low severity instead.
Team chose [type.FunctionalityBug
]
Originally [type.DocumentationBug
]
Reason for disagreement: [replace this with your reason]
type
add
then[/note NOTE]
is missing.