| commit | 613ae210f62e1e09a713b7b3f769eede9cbb9c97 | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Thu Nov 18 22:04:52 2021 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Nov 18 22:04:52 2021 +0000 |
| tree | 7d29a59a66b8daf5ed2a831309f5d727f5f33ff3 | |
| parent | 351cd2e48901d31fe2b070cf847608bd70ffe39a [diff] | |
| parent | c20dd972a94670e17b65387c881ff7a69e390249 [diff] |
Merge changes from topics "dist_for_goals", "mk2star" * changes: Runtime reporting of the conversion errors. Runtime support for dist-for-goals.