tree b56af47e0a84f88b7d78fc9c3c230cdf12af9eb8
parent d0870f5d5333419baf416adf264065ecfca37bc4
author Googler <noreply@google.com> 1686615325 -0700
committer Copybara-Service <copybara-worker@google.com> 1686615407 -0700

Update TODO comments to point to the renamed Lint command line flag

PiperOrigin-RevId: 539802907
Change-Id: Ie7d09d396e7104ade9d52d0c98a86c43fefa69c2