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

Remove TODO file #169

Merged

royhills merged 3 commits into master from remove-TODO-file

Oct 22, 2023

Owner

royhills commented Oct 22, 2023

Remove the TODO file and move valid items to issues with the "From TODO file" label.

royhills added 2 commits

October 22, 2023 16:28


          Moved valid TODO items to github issues with "From TODO file" label

b926273


          Removed obsolete items and added note that the file is no longer used

36f6b27

coveralls commented Oct 22, 2023 •

edited

Loading

coverage: 91.296%. remained the same when pulling ce1b45a on remove-TODO-file into 006a663 on master.


          Updated ChangeLog

ce1b45a

royhills merged commit 96a2089 into master

6 checks passed

royhills deleted the remove-TODO-file branch

October 22, 2023 15:48

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

Labels

None yet