[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



On Fri, Mar 04, 2022 at 01:12:23PM -0700, Sam Hartman wrote:
> One easy way for you to do that would be to send a diff to the spacing.
> I could then update my branch and use  the typo correction procedure in
> the constitution to get this fixed.

Or we can just leave it to the maintainer of the document to fix it.


Kurt


Reply to: