Marshall Thompson
2017-06-07 13:18:36 UTC
This message covers changes in this release. For a summary of critical
release notices, see http://docs.datomic.com/release-notices.html.
## Changed in 0.9.5561.50
* Bugfix: Release 0.9.5561.50 fixes a bug in the catalog that, in the
unlikely circumstance where one has deleted a database and restored it
from a backup without first having called `gc-deleted-dbs`, can cause
a subsequent `gc-deleted-dbs` to delete that (active) database.
* Bugfix: Prevent unbounded thread use by query pool.
* Upgrade: Peers and transactors now use version 1.11.82 of the AWS SDK.
* Upgrade: Updated the AWS regions and instances types available via the
CloudFormation template.
* Enhancement: Better error message when unable to resolve an entity.
* Enhancement: Health check endpoints for transactors and peer servers.
release notices, see http://docs.datomic.com/release-notices.html.
## Changed in 0.9.5561.50
* Bugfix: Release 0.9.5561.50 fixes a bug in the catalog that, in the
unlikely circumstance where one has deleted a database and restored it
from a backup without first having called `gc-deleted-dbs`, can cause
a subsequent `gc-deleted-dbs` to delete that (active) database.
* Bugfix: Prevent unbounded thread use by query pool.
* Upgrade: Peers and transactors now use version 1.11.82 of the AWS SDK.
* Upgrade: Updated the AWS regions and instances types available via the
CloudFormation template.
* Enhancement: Better error message when unable to resolve an entity.
* Enhancement: Health check endpoints for transactors and peer servers.
--
You received this message because you are subscribed to the Google Groups "Datomic" group.
To unsubscribe from this group and stop receiving emails from it, send an email to datomic+***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups "Datomic" group.
To unsubscribe from this group and stop receiving emails from it, send an email to datomic+***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.