Skip to content

Conversation

@mslupeck
Copy link
Collaborator

No description provided.

@sawenzel
Copy link
Collaborator

@mslupeck @AllaMaevskaya : There are now 3 PR open together with #1836 #1818. Are they all independent?

@mslupeck
Copy link
Collaborator Author

mslupeck commented Mar 30, 2019

@sawenzel These 3 PRs are essentially the same. I think #1818 can definitely be closed (but maybe Alla wants to still keep it?).
As for #1839 and #1836 maybe it's good to keep them both until the problems are fixed - then we close one and merge the other. These PRs contain commits both from me and from @AllaMaevskaya and keeping them both makes it easier to fix problems on both fronts simultaneously.

@mslupeck mslupeck closed this Mar 31, 2019
EmilGorm pushed a commit to EmilGorm/AliceO2 that referenced this pull request Apr 15, 2023
Co-authored-by: Mattia Faggin <mfaggin@cern.ch>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants