| 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 (4532 days ago) |
| Due | |
| Updated | 06/12/2013 (4532 days ago) |
| Assigned | |
| Resolved | 06/12/2013 (4532 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.