monnier pushed a change to tag 1.0. *** WARNING: tag 1.0 was deleted! ***
was f385d9ce50 Merge branch 'jsonrpc-refactor', bump version to 1.0
The revisions that were on this tag are still contained in
other references; therefore, this change does not discard any commits
from the repository.
