# HG changeset patch
# User Jordi Gutiérrez Hermoso <jordigh@gmail.com>
# Date 1307382408 18000
# Node ID a5f4dad4ec27bee13b2fa853d5373ecb6d20534d
# Parent  4972eb61c6d66dfca8a4ad5f91b96cafd8c8f07b# Parent  7c8b50cd4fb40e26bc7e741cb3998361b035cf7b
Merge with stable; recover on default backed-out 9843b3b055e0 from stable

diff -r 4972eb61c6d6 -r a5f4dad4ec27 src/DLD-FUNCTIONS/filter.cc