datomic

Ask questions on the official Q&A site at https://ask.datomic.com!
kenny 2020-08-13T00:30:43.185300Z

I opened a support ticket for this as well. I suggest doing the same so they know there’s interest in getting this fixed.

Saurabh Sharan 2020-08-13T04:44:42.185500Z

@favila Thanks for the explanation!