Autor | SHA1 Mensaxe | Data |
---|---|---|
|
de6762c1f0 ZOOKEEPER-3615: [ADDENDUM] fix rat error (#2013) | %!s(int64=2) %!d(string=hai) anos |
|
df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) | %!s(int64=2) %!d(string=hai) anos |