tree 7d3fdd560a70e175b6c71282a5d3d9e15c27b29f
parent 5c38fb743ef2e06d281683efaf9337ade61d635f
author Andrew Walbran <qwandor@google.com> 1581527195 +0000
committer Andrew Walbran <qwandor@google.com> 1581531769 +0000

Format vmlib too.

Change-Id: Ic419d4d9c3b9da7b6b12278f857293bdd3350247