tree ef07281d782c526414f42f64bcdad3866de1a002
parent 195e8f03ef2d1161ee77731d8a60432382aaf57e
author Zack Williams <zdw@cs.arizona.edu> 1496770109 -0700
committer Zack Williams <zdw@cs.arizona.edu> 1496782004 -0700

Minor fixes to help integration of CORD-912

Change-Id: I8dd69bf2eae091ca60bbbfbfebce465405662a58