On Thu, Dec 14, 2017 at 4:07 AM, Philipp Stephani <p.stephani2@gmail.com> wrote: > > Sounds reasonable, here is a patch. Can json-serialize be extended in a similar fashion?