tree 85b35c94aee5af539d71688a37b72e2a171dc5a4
parent e66e92e834de35778cfc2d4d9ebc161f5804c3f2
parent dae951368ec19f99d45d3a405cb27e7cb805e5f9
author Federico Tomassetti <f.tomassetti@gmail.com> 1448873499 +0100
committer Federico Tomassetti <f.tomassetti@gmail.com> 1448873499 +0100

Merge pull request #232 from ftomassetti/issue_231

issue231: fix how empty Enums are dumped