tree 9bfb06891e652f9f8b5f818a21eaac89abfcbdb6
parent 2661169b6b7ed8abddd9e6d2a8cf34057df0369d
author Sjoerd Meijer <sjoerd.meijer@arm.com> 1613556005 +0000
committer Copybara-Service <copybara-worker@google.com> 1613732670 -0800

Follow up of rGdea4a63e6359, which committed a slightly different version than
intended.

GitOrigin-RevId: 5a641cf194d493752edade659f1e9f06294f4f9f