tree 782b2a1e7ca2d28e6f6af937477a3e3ba54a6105
parent 17bd9077567da2f8e660bc97d824277368225c4d
parent f4c3483f3abc4cadd20672ce49acfe0c88a1c1da
author David Gross <dgross@google.com> 1492108191 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1492108192 +0000

Merge "Insert a new `versionInfo` field into the `.rs.info` symbol"