Tue Sep 17 2019 21:32:19 UTC
Beware of bugs in the above code; I have only proved it correct, not tried it.
Hide Search Description
ID Product Component Assignee Status Resolution Summary Changed
202823 Ports & Packages Individual Port(s) gnome New --- x11/cinnamon screensaver doesn't unlock 2018-01-12
202909 Ports & Packages Individual Port(s) gnome New --- x11/cinnamon crash black screen fallbackmode 2018-01-31
240474 Ports & Packages Individual Port(s) gnome Open --- x11/cinnamon: update request to latest version (4.2.4) 2019-09-11
3 bugs found.

as

File a new bug in the "Individual Port(s)" component of the "Ports & Packages" product