maintainer-feedback requested: [Bug 263781] devel/devhelp: Adding options for docs and editor plugin to port build

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: <bugzilla-noreply_at_freebsd.org>
Date: Tue, 10 May 2022 07:09:51 UTC

Fernando Apesteguía <fernape@FreeBSD.org> has asked freebsd-gnome (Nobody)
<gnome@FreeBSD.org> for maintainer-feedback:
Bug 263781: devel/devhelp: Adding options for docs and editor plugin to port
build
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=263781



--- Comment #7 from Fernando Apesteguía <fernape@FreeBSD.org> ---
^Triage: [tags] in issue Titles are deprecated.

^Triage: Simplifying title


Thanks!