From 8851dfcc2231f3f2ffba29c5d9224df4e7cb24db Mon Sep 17 00:00:00 2001
From: classabbyamp <void@placeviolette.net>
Date: Tue, 3 Dec 2024 09:12:39 -0500
Subject: [PATCH] Manual.md: grammar fix

---
 Manual.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Manual.md b/Manual.md
index 6d9a0e6289f..c39509f5c7f 100644
--- a/Manual.md
+++ b/Manual.md
@@ -881,7 +881,7 @@ package shouldn't be added as a build time dependency.
 The global repository takes the name of
 the current branch, except if the name of the branch is master. Then the resulting
 repository will be at the global scope. The usage scenario is that the user can
-update multiple packages in a second branch without polluting his local repository.
+update multiple packages in a second branch without polluting their local repository.
 
 <a id="pkg_defined_repo"></a>
 #### Package defined Repositories