Updated Datomic to version 0.9.4880.2.