This throws 0c3133a2 out, as that'd already been handled here previously. (And thus we do not add a separate NEWS entry for 18.08.1 on this issue.)