tree 45921878dc0aec44c348ff56490f106843c02a74
parent 55dba57a35ad9340cd1633ae792281481fa00852
author Daniele Sassoli <danielesassoli@gmail.com> 1687458281 +0100
committer Daniele Sassoli <danielesassoli@gmail.com> 1687464874 +0100

Optimize script to only check mutable refs

Change-Id: I73800425cf49371167fc057441e83fa5ab6c88aa