On Mon, 7 Jan 2019 at 10:41, Noel Grandin <[email protected]> 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 [email protected] https://lists.freedesktop.org/mailman/listinfo/libreoffice
