[Bug 263781] devel/devhelp: Adding options for docs and editor plugin to port build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 10 May 2022 07:09:51 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=263781
Fernando Apesteguía <fernape@FreeBSD.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[patch] devel/devhelp: |devel/devhelp: Adding
|Adding options for docs and |options for docs and editor
|editor plugin to port build |plugin to port build
CC| |fernape@FreeBSD.org
Status|New |Open
Flags| |maintainer-feedback?(gnome@
| |FreeBSD.org)
--- Comment #7 from Fernando Apesteguía <fernape@FreeBSD.org> ---
^Triage: [tags] in issue Titles are deprecated.
^Triage: Simplifying title
Thanks!
--
You are receiving this mail because:
You are on the CC list for the bug.