Re: [Maria-developers] 5e265de00c5: triggers fix: delete