Re: Amendment to GR Option 1: Hide Identities of Developers Casting a Particular Vote

[Ansgar <ansgar@43-1.org>]

On Thu, 2022-03-03 at 13:54 -0700, Sam Hartman wrote:
>   <li>The next two weeks are the polling period during which
>   Developers may cast their votes. [-Votes in leadership elections
> are-]
> [-  kept secret, even after the election is finished.</li>-]{+</li>+}

The unified diff for this looks like:

-  Developers may cast their votes.  Votes in leadership elections are
-  kept secret, even after the election is finished.</li>
+  Developers may cast their votes. </li>

The change introduces a trailing space.

The GR specifically states:

| The developers resolve to make the changes to the Debian Constitution
| embodied in git commit ed88a1e3c1fc367ee89620a73047d84a797c9a1d.

Would removing the trailing space introduced by these changes require a
separate GR?  There are also other similar inconsistencies, e.g., one
space vs. two spaces after a period.

Ansgar, noting that "noone" and "no one" also differ only in (more
significant) whitespace