Skip to content

Conversation

@rochaporto
Copy link
Collaborator

No description provided.

@rochaporto rochaporto force-pushed the 9248multins branch 19 times, most recently from ef07251 to d3fdb79 Compare February 25, 2020 14:35
@almahmoud
Copy link
Contributor

Let me know if I can help in any way to get this merged! It would be nice to see the change added to the official image, as we have been using a custom-built image to include this change for a few months now.

@rochaporto
Copy link
Collaborator Author

I'm almost done with this, been adding some proper validation which is running at CERN. Should be merged still today.

@rochaporto rochaporto merged commit 64110dd into master Feb 25, 2020
@rochaporto
Copy link
Collaborator Author

@gman0 gman0 deleted the 9248multins branch May 8, 2023 08:48
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