[PATCH v3 2/2] Introduce conf/config.dev for development

[Lukas Fleischer]

On Tue, 02 Jun 2020 at 20:04:02, Frédéric Mangano-Tarumi wrote:
> conf/config.dev\u2019s purpose is to provide a lighter configuration template
> for developers, and split development-specific options off the default
> configuration file.
> ---
>  TESTING              | 11 ++++++-----
>  conf/config.defaults | 10 ----------
>  conf/config.dev      | 32 ++++++++++++++++++++++++++++++++
>  3 files changed, 38 insertions(+), 15 deletions(-)
>  create mode 100644 conf/config.dev

Looks good to me. Merged (together with patch 1/2), thanks!