tree a55e180a6c56b5ff28d7468033e680e6e5c1155d
parent 838a53d6236c7c09ca16ab784c3d3f492054420d
author Debargha Mukherjee <debargha@google.com> 1479882250 -0800
committer Debargha Mukherjee <debargha@google.com> 1479925782 -0800

Some fixes related to 64x64 tx, ext-tx, supertx

Change-Id: I95455ed7e44f3a163c751bd8a89f6119c0055c71