Comment 27 for bug 1713615

Please do not forget that this bug is present at least since 15.10 while we are going to see 19.04 released next month. Hey you, Ubuntu devs, can I buy a beer someone for copying the original Debian version over finally? If one of you do it once, thousands of users will not have to on every update.