michael@728: diff -Nau plugins/managesieve/config.inc.php.dist.orig plugins/managesieve/config.inc.php.dist michael@728: Index: plugins/managesieve/config.inc.php.dist michael@728: --- plugins/managesieve/config.inc.php.dist.orig 2012-08-17 21:32:11.000000000 +0200 michael@728: +++ plugins/managesieve/config.inc.php.dist 2012-09-28 22:47:43.934192601 +0200 michael@728: @@ -1,7 +1,7 @@ michael@728: