| commit | 944ef88aabe52dff5a07078c7a2e3aca92a2f564 | [log] [tgz] |
|---|---|---|
| author | Jayant Chowdhary <jchowdhary@google.com> | Sat Apr 07 00:54:22 2018 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Sat Apr 07 00:54:22 2018 +0000 |
| tree | 795ea731607be6b932883ac56113060328706745 | |
| parent | 63f652ff45809ad067acbf0ee60033a86f2695ad [diff] | |
| parent | dd38a73879ba768a1550ad854fac545a93d64640 [diff] |
Merge "Name anonymous records, don't depend on fully qualified name for type-id."