fix up serialization a bit more
authorbdemsky <bdemsky@uci.edu>
Tue, 16 Oct 2018 00:04:31 +0000 (17:04 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 16 Oct 2018 00:04:31 +0000 (17:04 -0700)

No differences found