A new #Jepsen report, on MariaDB Galera Cluster 12.1.2. Two cases of write loss, along with P4 (Lost Update) and Stale Read in healthy clusters.

https://jepsen.io/analyses/mariadb-galera-cluster-12.1.2