tree 301452989df4f42fe15f6075dc9aceeb4c62500f
parent b02fde2de32b1b6809c9d3b65c6b2d55515a0ad6
author David Garcia Quintas <dgq@google.com> 1512519841 -0800
committer David Garcia Quintas <dgq@google.com> 1512519841 -0800

Undo change to spec and corresponding code