OK, no other release is affected and the current kernel shows no issue. The bug is fixed and no further action is required.