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

In reply to: bugzilla-noreply_a_freebsd.org: "[Bug 263781] [patch] devel/devehlp: 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

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 the assignee for the bug.