4 ms·That's unfortunate. I hope you a open source version pops up, or DoltHub becomes open source.by PopeRigby 7y agoThat's unfortunate. I hope you a open source version pops up, or DoltHub becomes open source.