Skip to content

[]#2038

Closed
mgol wants to merge 1 commit into
mainfrom
mailmap-felix
Closed

[]#2038
mgol wants to merge 1 commit into
mainfrom
mailmap-felix

Conversation

@mgol
Copy link
Copy Markdown
Member

@mgol mgol commented Jan 14, 2022

Deprecated in favor of #2039.

This accounts for a recent email change in one of the commits.
@mgol mgol added this to the 1.13.1 milestone Jan 14, 2022
@mgol mgol requested a review from fnagel January 14, 2022 14:23
@mgol mgol closed this Jan 14, 2022
@mgol mgol deleted the mailmap-felix branch January 14, 2022 14:27
@mgol mgol removed this from the 1.13.1 milestone Jan 14, 2022
@mgol mgol removed the request for review from fnagel January 14, 2022 14:28
@mgol mgol changed the title Build: Add Felix to .mailmap [] Jan 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant