Hi! Thanks for merging #2556 now!
I don't think #3208 will be updated as it has no feedback stating that something *is* required to change for it to be accepted. Considering the to me passed, please just merge or reject it.
_______________________________________________ developers mailing list -- developers@lists.mariadb.org To unsubscribe send an email to developers-le...@lists.mariadb.org
