[Tickets #12345] Re: It is no longer possible to use a user defined header in filters

[noreply at bugs.horde.org]

DO NOT REPLY TO THIS MESSAGE. THIS EMAIL ADDRESS IS NOT MONITORED.

Ticket URL: http://bugs.horde.org/ticket/12345
------------------------------------------------------------------------------
  Ticket             | 12345
  Updated By         | Git Commit <commits at lists.horde.org>
  Summary            | It is no longer possible to use a user defined header
                     | in filters
  Queue              | Ingo
  Version            | 3.1.0
  Type               | Bug
  State              | Unconfirmed
  Priority           | 1. Low
  Milestone          |
  Patch              |
  Owners             |
------------------------------------------------------------------------------


Git Commit <commits at lists.horde.org> (2013-06-12 10:07) wrote:

Changes have been made in Git (master):

commit f611708087752711818280b5bee252e7932def84
Author: Jan Schneider <jan at 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