On Fri, Feb 10, 2023 at 1:47 PM Johnny Rosenberg <[email protected]> wrote: > > should be reported as a bug. > I think it should. Then it's up to the developers to decide whether or not > to do something about it. Maybe it could be set to low priority, though.
I agree. I already opened a new bug report for it. I linked also to this email thread, but I have not set it to new nor to low priority; I'll leave that for devs. -- To unsubscribe e-mail to: [email protected] Problems? https://www.libreoffice.org/get-help/mailing-lists/how-to-unsubscribe/ Posting guidelines + more: https://wiki.documentfoundation.org/Netiquette List archive: https://listarchives.libreoffice.org/global/users/ Privacy Policy: https://www.documentfoundation.org/privacy
