Hi Tony, On 2019-02-25 00:53, tony mancill wrote: > Andreas, since you handled the prior update, feel free to take care of > this one as well. The only difference between our debdiffs is that mine > addresses the "echo -e" bashism, but that would only be triggered for > Ubuntu updates for versions older than trusty (14.04 LTS), and so I > imagine that it is actually needed.
I'm fine if you go ahead with your variant. I'm a bit short of time currently. Andreas
