On Mon, 7 Jan 2019 at 10:41, Noel Grandin <noelgran...@gmail.com> wrote:
> Note that the new opengrok does not seem to work very well on chrome (Version > 71.0.3578.98 (Official Build) (64-bit)) > > this seems to have been some kind of stale cache problem on my PC
_______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/libreoffice