eiffelhub/json — pull request #1 by oligot (2012-08-02 12:25:46+00:00)
Title: [FIX] Convertion from DS_HASH_TABLE keys to JSON

This is useful when the type of the key is something else than a STRING
and we have a JSON converter for this type.