# HG changeset patch # User Bernhard Reiter # Date 1378911846 -7200 # Node ID b7a3cd7aa2fb90b3be9dff92a929b52d365a787b # Parent c499201a30a3ee39c5aacbaf0b3ceba71db62b7b Closing branch 'dc-km-filter', should already be integrated in default (but not tracked by hg).