6.0.0-beta1
▾
Tasks
New Task
Search
Photos
Wiki
▾
Tickets
New Ticket
Search
dev.horde.org
Toggle Alerts Log
Help
11/8/25
H
istory
A
ttachments
C
omment
W
atch
Download
Comment on [#12345] It is no longer possible to use a user defined header in filters
*
Your Email Address
*
Spam protection
Enter the letters below:
. .__..__ .__..__. | [__][ __| |[__] |___| |[_./|__|| |
Comment
> Changes have been made in Git (master): > > 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
Attachment
Watch this ticket
N
ew Ticket
M
y Tickets
S
earch
Q
uery Builder
R
eports
Saved Queries
Open Bugs
Bugs waiting for Feedback
Open Bugs in Releases
Open Enhancements
Enhancements waiting for Feedback
Bugs with Patches
Enhancements with Patches
Release Showstoppers
Stalled Tickets
New Tickets
Horde 5 Showstoppers