https://bugs.freedesktop.org/show_bug.cgi?id=75563
Jean-Baptiste Faure <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #6 from Jean-Baptiste Faure <[email protected]> --- (In reply to comment #2) > Then, having the Extension Manager in the Tools menu would be redundant. Yes, but it is not a bad thing that should be avoided. To the contrary, that increases the probability that new users discover this functionality. Best regards. JBF -- You are receiving this mail because: You are the assignee for the bug.
_______________________________________________ Libreoffice-bugs mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/libreoffice-bugs
