tree 1e3edd5fa50b8bc5869ee83483e551e6e5ec14d1
parent 5077d22696b1d1e2e2224ee06aeab897e87c2bbe
author Dhruv Srivastava <dhruvsri@google.com> 1662468159 +0200
committer Dhruv Srivastava <dhruvsri@google.com> 1662534241 +0200

Add placeholder in comments for mentioning users

Text is similar to how Google docs shows the placeholder for
adding other people.

Google docs text is "Add others" but we prefer "Mention" here
since that is the text we use for the chip as well.

Google-bug-id: b/245261406
Release-Notes: skip
Change-Id: Ia50f815bdcf6a61abbb71b95d0868c521db42679