On Mon, 26 Aug 2019 16:37:15 +0200 Frederik Vanrenterghem < frederik_debianbugrep...@vanrenterghem.biz> wrote:
> > A similar problem is described on https://horde.horde.narkive.com/acoQ1HB5/display-problem-with-php7-3 > I can confirm applying the small patches mentioned on https://github.com/horde/Text_Filter/commit/8d0de407dbb95626bc54eaba078191847be9c574 fixes the issue. I believe this makes this bug a duplicate of 931255, which is resolved in the current version of horde in testing and unstable. No backports package appears available at this stage for the stable release buster.
