[webkit-reviews] review granted: [Bug 200479] [WPE][GTK] New API to remove a filter from an user content manager given its identifier : [Attachment 375654] Patch

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has granted Adrian Perez
<aperez at igalia.com>'s request for review:
Bug 200479: [WPE][GTK] New API to remove a filter from an user content manager
given its identifier
https://bugs.webkit.org/show_bug.cgi?id=200479

Attachment 375654: Patch

https://bugs.webkit.org/attachment.cgi?id=375654&action=review




--- Comment #3 from Carlos Garcia Campos <cgarcia at igalia.com> ---
Comment on attachment 375654
  --> https://bugs.webkit.org/attachment.cgi?id=375654
Patch

Fix the typo in docs, please.