Summary | It is no longer possible to use a user defined header in filters |
Queue | Ingo |
Queue Version | 3.1.0 |
Type | Bug |
State | Resolved |
Priority | 1. Low |
Owners | jan (at) horde (dot) org |
Requester | arjen+horde (at) de-korte (dot) org |
Created | 06/12/2013 (4419 days ago) |
Due | |
Updated | 06/12/2013 (4419 days ago) |
Assigned | |
Resolved | 06/12/2013 (4419 days ago) |
Github Issue Link | |
Github Pull Request | |
Milestone | 3.1.1 |
Patch | No |
Assigned to Jan Schneider
State ⇒ Resolved
Milestone ⇒ 3.1.1
commit f611708087752711818280b5bee252e7932def84
Author: Jan Schneider <jan@horde.org>
Date: Wed Jun 12 12:05:20 2013 +0200
Fix scope (
Bug #12345).ingo/docs/CHANGES | 1 +
ingo/lib/Basic/Rule.php | 2 +-
ingo/package.xml | 2 ++
3 files changed, 4 insertions(+), 1 deletions(-)
http://git.horde.org/horde-git/-/commit/f611708087752711818280b5bee252e7932def84
Priority ⇒ 1. Low
Type ⇒ Bug
Summary ⇒ It is no longer possible to use a user defined header in filters
Queue ⇒ Ingo
Milestone ⇒
Patch ⇒ No
State ⇒ Unconfirmed
longer shown, despite $conf[rules][userheader] is true.