Re: [PATCH] removed double 'with'

Good eye! Thanks for the patch. Committed. On Fri, May 18, 2018 at 9:16 AM, Malte Münch wrote: > --- > c-user/configuring_a_system.rst | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/c-user/configuring_a_system.rst > b/c-user/configuring_a_system.rst > index 2da9601..5

[PATCH] removed double 'with'

--- c-user/configuring_a_system.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/c-user/configuring_a_system.rst b/c-user/configuring_a_system.rst index 2da9601..542a536 100644 --- a/c-user/configuring_a_system.rst +++ b/c-user/configuring_a_system.rst @@ -45,7 +45,7 @@ appr