@Seppo,
Unfortunately, the customer cannot tell if there was an ALTER, I guess the best path is to update to 5.6.20 and see if this happens again without a test case for now.
@Seppo,
Unfortunately, the customer cannot tell if there was an ALTER, I guess the best path is to update to 5.6.20 and see if this happens again without a test case for now.