From 68eb1835e8f88b5375cf431c44571c79da1c5702 Mon Sep 17 00:00:00 2001 From: Thomas Bruederli <thomas@roundcube.net> Date: Wed, 17 Jul 2013 15:23:31 -0400 Subject: [PATCH] Keep unknown/plugin config options; only skip officially obsoleted ones --- 0 files changed, 0 insertions(+), 0 deletions(-) -- Gitblit v1.9.1