| Wed, 14 Mar 2018 16:52:16 +0100 | wenzelm | more informative error with JSON result; | file | diff | annotate |
| Tue, 13 Mar 2018 20:02:09 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 13 Mar 2018 16:08:13 +0100 | wenzelm | more operations for typed JSON values; | file | diff | annotate |