https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=252363
Adriaan de Groot <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Status|New |Closed --- Comment #6 from Adriaan de Groot <[email protected]> --- Naram, please **do** file another PR with a list of KDE ports that have a DOCS option, but no actual docs. It's easy enough to handle now: the DOCS option can simply be removed when it's not relevant. Closing this PR now it's landed in main. -- You are receiving this mail because: You are the assignee for the bug.
