Skip to content

Conversation

@tzaffi
Copy link
Contributor

@tzaffi tzaffi commented May 2, 2022

Removing a file that shouldn't be in master but which got merged in by mistake in #249

Copy link
Contributor

@ahangsu ahangsu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

need to update build script

@tzaffi
Copy link
Contributor Author

tzaffi commented May 2, 2022

need to update build script

👍

@tzaffi tzaffi merged commit cda0a51 into master May 2, 2022
@tzaffi tzaffi deleted the rm-utils branch May 2, 2022 17:39
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.

4 participants