tree 00c91cbfcb80a9734ea58ab23088207dc773464d
parent da4682aa6fd9bb6d42361ecafd1a909f45a2793b
author David Gross <dgross@google.com> 1638921102 -0800
committer David Gross <dgross@google.com> 1642631226 -0800

FL7: Refine REVERSE specification

Test: N/A

Bug: 202280925

Merged-In: Iae1f177254023c750c701e6594a61f3958de538c
Change-Id: Iae1f177254023c750c701e6594a61f3958de538c
(cherry picked from commit 91a30c1ceab9d27dd491fd961c70217b20c27578)