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.

Sign up for GitHub

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

Jump to bottom

Cleanup CHANGELOG #669

Merged

traversaro merged 1 commit into devel from cleanup-changelog

Apr 5, 2020

Member

traversaro commented Apr 5, 2020 •

edited

Loading

Remove spurious leftover of conflict in a merge.
Add missing periods at the end of the sentences.


          Cleanup CHANGELOG

6a94193

* Remove spurious leftover of conflict in a merge
* Add missing periods at the end  of the sentences.

traversaro requested review from GiulioRomualdi, lrapetti and fjandrad and removed request for GiulioRomualdi and lrapetti

April 5, 2020 15:46

GiulioRomualdi approved these changes

View reviewed changes

fjandrad approved these changes

View reviewed changes

traversaro merged commit c9a76ee into devel

traversaro deleted the cleanup-changelog branch

April 5, 2020 20:04

Member Author

traversaro commented Apr 5, 2020

CI failure is due to actions/runner-images#675 , so we can merge anyway.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet