tree 3b508f367f3a93094d890f89f4a57ca37939be95
parent 742c4cf8d184e00ac1b1b2dfb3c8be29ae22d03d
author Olivier Chafik <ochafik@google.com> 1454009444 +0000
committer Olivier Chafik <ochafik@google.com> 1454009444 +0000

manually merge static-length