tree d8b02676796bc0d22a65292e2a91bebc2bcaff25
parent 48f4f5304b3e3e600f23d2b6f7ce82e28a5219e4
author Søren Gjesse <sgjesse@google.com> 1656331060 +0200
committer Søren Gjesse <sgjesse@google.com> 1656332031 +0000

Fix typo in script for archiving desugared library

Change-Id: I062ee8a704c30455e2eedea0cfcdfd0ace48cbdd