From 1291b90b7ff0ce30ad2942fbba2a0d778abde5db Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Fri, 26 Feb 2021 12:18:50 +0100 Subject: [PATCH] user guide: correct typo --- garlic/doc/ug.ms | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/garlic/doc/ug.ms b/garlic/doc/ug.ms index 25c14a5..d826bd6 100644 --- a/garlic/doc/ug.ms +++ b/garlic/doc/ug.ms @@ -483,7 +483,7 @@ needed, but under a controlled environment so that the same behavior occurs during the experimentation phase. .PP In particular, we want that several developers can reproduce the -the same development environment so they can debug each other programs +same development environment so they can debug each other programs when reporting bugs. Therefore, the environment must be carefully controlled to avoid non-reproducible scenarios. .PP