commit | eb5bedd1ac81597aa9448f329d0269780f329aa3 | [log] [tgz] |
---|---|---|
author | Roland Levillain <rpl@google.com> | Fri Sep 29 10:22:45 2017 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Sep 29 10:22:45 2017 +0000 |
tree | 8bb5997952fd597706bb7c45cb939b59cbc0eb31 | |
parent | cdf68b16a212e71120ecccbf9f4d798b61259ed2 [diff] | |
parent | b77b698f4550458725b72d3a451adca765f369cc [diff] |
Merge "Check the to-space invariant on a delivered exception."