From: Riyad Preukschas <riyad@informatik.uni-bremen.de>
Date: Fri, 18 Jan 2013 02:57:49 +0000 (-0800)
Subject: Merge pull request #2653 from jouve/fix_default_settings
X-Git-Tag: v4.1.0~27
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=b07e1b3aedf87fdf3ec7a6855cec8194b0a30a59;p=wvm%2Fgitlab.git

Merge pull request #2653 from jouve/fix_default_settings

Fix default settings when they are boolean.
---

b07e1b3aedf87fdf3ec7a6855cec8194b0a30a59