tree 6f5dcf4d3fab4f9337889fe441f1f1da8a0eae37
parent e7ac35e5b78c3fc589cf85d8b893f585f1cb9911
author David Ostrovsky <david@ostrovsky.org> 1650884301 +0200
committer David Ostrovsky <david.ostrovsky@gmail.com> 1683791568 +0000

Fix Flogger issues flagged by error prone

Release-Notes: skip
Change-Id: Ia6eb940e03cf8e8ac2696ca45a52ef144cee5de4