diff sat/plugins/plugin_misc_merge_requests.py @ 2709:46f2733a2a9b

tools (common/data_format): use "default" in json.dumps in serialise (useful notably to serialise jid.JID)
author Goffi <goffi@goffi.org>
date Sat, 01 Dec 2018 14:34:55 +0100
parents 8fb99ed47db4
children 003b8b4b56a7
line wrap: on
line diff