The fix was trivial and can land ASAP. Since it should have been fairly clear that comment 10 was reporting a bug, it would have been good if a bug was filed.
Bug 1598717 Comment 15 Edit History
Note: The actual edited comment in the bug view page will always show the original commenter’s name and original timestamp.
The fix was trivial and can land ASAP. Since it should have been fairly clear that comment 10 was reporting a bug, it would have been good if a bug was filed but we don't need one now.