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