[MariaDB developers] Re: [PATCH] Fix redundant ER_PRIOR_COMMIT_FAILED in parallel replication