Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update copyright #109

Merged
merged 4 commits into from
Nov 12, 2023
Merged

Update copyright #109

merged 4 commits into from
Nov 12, 2023

Conversation

sbrl
Copy link
Member

@sbrl sbrl commented Nov 12, 2023

Follow-on from #58. Discussion there has reached a conclusion, but due to my PhD thesis writing I haven't had a moment to return to this.

Opening this PR just quickly as GH isn't letting me reopen the original PR for some reason.

@sbrl sbrl merged commit 8ba23bc into main Nov 12, 2023
8 checks passed
@sbrl sbrl deleted the man-page-update branch November 12, 2023 00:29
@sbrl
Copy link
Member Author

sbrl commented Nov 12, 2023

Merged immediately due to consensus on #58

@sbrl sbrl mentioned this pull request Nov 12, 2023
@kbdharun
Copy link
Member

This would confict with the open PR where we have already addressed this 😅

@sbrl
Copy link
Member Author

sbrl commented Nov 12, 2023

Oh sorry @kbdharun! Nobody seemed to update this PR with the link to the one that addressed it, and this one didn't conflict so I assumed that it hadn't been addressed.

Oops! I'll check more carefully next time :P

kbdharun added a commit to kbdharun/tldr-c-client that referenced this pull request Nov 12, 2023
kbdharun added a commit that referenced this pull request Nov 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants