Merge pull request #191 from whitequark/json-module-attributes
authorClifford Wolf <clifford@clifford.at>
Wed, 13 Jul 2016 07:39:27 +0000 (09:39 +0200)
committerGitHub <noreply@github.com>
Wed, 13 Jul 2016 07:39:27 +0000 (09:39 +0200)
write_json: also write module attributes


Trivial merge