On Mon, 7 Jan 2019 at 10:41, Noel Grandin <noelgrandin@xxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/libreoffice
