tree fe219b7ae317c24855dcc6772364030bdc72d940
parent 33c9ab358831d27146b3bd3b11020669066e575d
author Rico Wind <ricow@google.com> 1614590534 +0100
committer Rico Wind <ricow@google.com> 1614592127 +0000

Add desugared library HEAD builder

Change-Id: I71213c3b8bd962902b927d34113390f323ea614e