Merge pull request #1174 from jgunderson/printer-changes
authorshackbarth <stephenhackbarth@gmail.com>
Wed, 8 Jan 2014 14:37:32 +0000 (06:37 -0800)
committershackbarth <stephenhackbarth@gmail.com>
Wed, 8 Jan 2014 14:37:32 +0000 (06:37 -0800)
fix print format parameter


Trivial merge