Skip to content

Conversation

@anarnold97
Copy link
Collaborator

@anarnold97 anarnold97 commented Aug 14, 2024

PREVIEW

Contents copied from #25 to solve Richard's merge conflict.

Pull 25 approved by Dylan, Maayan, and Nandini.

@RichardHoch
Copy link
Collaborator

@anarnold97 This is great -- thanks!

@RichardHoch RichardHoch merged commit 77ca7ec into migtools:main Aug 15, 2024
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.

2 participants