Skip to content

Conversation

phatblat
Copy link
Member

@phatblat phatblat commented Aug 12, 2018

@phatblat phatblat merged commit 966872b into master Aug 12, 2018
@phatblat phatblat deleted the release-1.4.2 branch August 12, 2018 21:15
@rgoldberg rgoldberg added the 🧽 chore Administrative task: documentation, build, test, release, git, etc. label May 15, 2025
@rgoldberg rgoldberg added this to the 1.4.2 milestone May 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🧽 chore Administrative task: documentation, build, test, release, git, etc.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants