diff options
author | Patrick Georgi <patrick@coreboot.org> | 2023-09-21 08:36:51 +0200 |
---|---|---|
committer | Patrick Georgi <patrick@coreboot.org> | 2023-09-24 20:55:39 +0000 |
commit | 65cbe8db1acf4f8e93127a699ad85c8247b5a595 (patch) | |
tree | 158ee50c259ac5c044b1f49ab50ec41374937ae1 /Documentation | |
parent | 7258a2056c3295c7badcbee0fb8fbade03fa9b4d (diff) |
Doc/: Remove an extra space
Change-Id: I462d0bd3e9f3b425631987fa793d29323c3f9d61
Signed-off-by: Patrick Georgi <patrick@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/78021
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/contributing/gerrit_guidelines.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/contributing/gerrit_guidelines.md b/Documentation/contributing/gerrit_guidelines.md index 9b0cc5f91e..235277bb12 100644 --- a/Documentation/contributing/gerrit_guidelines.md +++ b/Documentation/contributing/gerrit_guidelines.md @@ -9,7 +9,7 @@ friction in the community. Note that as with many rules, there are exceptions. Some have been noted in the 'More Detail' section. If you feel there is an exception not listed -here, please discuss it in the mailing list to get this document updated. +here, please discuss it in the mailing list to get this document updated. Don't just assume that it's okay, even if someone on IRC says it is. |