[Tickets #14694] Re: Unneed stuf installed with role="php"

[noreply at bugs.horde.org]

BITTE NICHT AUF DIESE NACHRICHT ANTWORTEN. NACHRICHTEN AN DIESE  
E-MAIL-ADRESSE WERDEN NICHT GELESEN.

Ticket-URL: https://bugs.horde.org/ticket/14694
------------------------------------------------------------------------------
  Ticket           | 14694
  Aktualisiert Von | Jan Schneider <jan at horde.org>
  Zusammenfassung  | Unneed stuf installed with role="php"
  Warteschlange    | Wicked
  Version          | 2.0.8
  Typ              | Bug
-Status           | Unconfirmed
+Status           | Feedback
  Priorität        | 1. Low
  Milestone        |
  Patch            |
  Zuständige       |
------------------------------------------------------------------------------


Jan Schneider <jan at horde.org> (2017-09-25 17:18) hat geschrieben:

This is imported via git subtree, so we cannot simply remove them. And  
our build scripts don't allow to exclude random directories.