Francesco Mazzoli bb6f21373d record keys locally to a single update, fixes #969 (#970) ... * record keys locally to a single update, fixes #969 * do not delete keys in machine for nonconsuming choices, fixes #973 * amend release notes * actualize new test results		2019-05-07 16:09:52 +02:00
..
new-assistant.rst	Migration guide for new assistant (#768)	2019-05-06 14:55:20 +00:00
release-notes.rst	record keys locally to a single update, fixes #969 (#970)	2019-05-07 16:09:52 +02:00
roadmap.rst	Remove //language-support/js (#691)	2019-04-25 14:30:25 +02:00
support.rst	open-sourcing daml	2019-04-04 09:33:38 +01:00