My last email was a false positive, I looked at the wrong patch. Your patch was fine.
Release 1:10.1.37-2 was just uploaded and you should be able to verify that all builds are OK within a few days.
- Bug#912902: [debian-mysql] Bug#912902: mariadb-10.1: FTB... Otto Kekäläinen
- Bug#912902: [debian-mysql] Bug#912902: mariadb-10.1... Samuel Thibault
- Bug#912902: [debian-mysql] Bug#912902: mariadb-... Otto Kekäläinen
