Revert "mariadb: Depool db1088 for maintenance"

Authored by jcrespo on May 16 2018, 3:35 PM.