tree e6d22259aceadd6a7ac18dfc056ab0a13d722c43
parent 6fe073bddfc952a3d3dd65b76d30a78b0163329e
author Søren Gjesse <sgjesse@google.com> 1669881609 +0100
committer Søren Gjesse <sgjesse@google.com> 1669908638 +0000

Add a bug reference to the use of the option for ignoring banned words

Bug: b/260680525
Change-Id: Id5530406944d0f3849c44703a24451619ddbe341