Skip to content

Conversation

@pp-mo
Copy link
Member

@pp-mo pp-mo commented Sep 12, 2022

Needed for SciTools/iris#4933

@bjlittle bjlittle self-assigned this Sep 14, 2022
@pp-mo
Copy link
Member Author

pp-mo commented Sep 22, 2022

We now think we need to change the name of this file - see SciTools/iris#4933 (comment)

Coming shortly, should be OK after that.

@trexfeathers
Copy link
Contributor

@pp-mo I'm guessing your Git commits have deleted the old-named file without adding the new one?

image

@trexfeathers trexfeathers merged commit 992fc1c into SciTools:master Sep 23, 2022
@pp-mo
Copy link
Member Author

pp-mo commented Sep 23, 2022

Thanks @trexfeathers !

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