tree dc8618ccdd1eaf3b3cea1b968ea9af4796e4272c
parent 07ceafe98423178e08ef3cfd4f63dc22c9c2a3d8
author Ian Zerny <zerny@google.com> 1618818995 +0200
committer Ian Zerny <zerny@google.com> 1618915538 +0000

Change mapping version to its own info type.

The mapping version should not be tied to meta information about
the shrinker, but rather just the version of the encoded content.

Change-Id: I5fa059d4ad4dcf633c175e05a27954c83659cb3c