-
Notifications
You must be signed in to change notification settings - Fork 1.4k
FIX: Read events from ceo file. #9712
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
Hello! 👋 Thanks for opening your first pull request here! ❤️ We will try to get back to you soon. 🚴🏽♂️ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@DiGyt ok for you?
@rezashr can you add an entry to |
@larsoner there was an entry for reading '.cdt.ceo' events in latest.inc, so I merged this PR description to that one. Is it okay? |
@rezashr I think you just need to add your name+URL to |
🎉 Congrats on merging your first pull request! 🥳 Looking forward to seeing more from you in the future! 💪 |
thx @rezashr |
Reference issue
Fixes #9380
Improves #9381
What does this implement/fix?
With #9381, 'ceo' files can be imported after renaming to 'cef'. This PR adds '.ceo' extension to event file extensions.