Comment 21 for bug 1913442

Hi Karsten, no, nothing needed on top.
It's in status "Fix Committed", hence it's already available from the -proposed pocket of the Ubuntu archive, and will be migrated to -release with the next kernel update (which is a matter of days).

(What I just didn't understood was https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1913442/comments/18
maybe this was an accident ...)