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

Fix compilation errors w/ Ubuntu 23.10 #472

Merged

mchalla merged 1 commit into master from ubuntu23.10

Oct 19, 2023

Member

tomflynn commented Oct 18, 2023

some minor doc fixes

tomflynn force-pushed the ubuntu23.10 branch from 4d60187 to bf8dd8e Compare

October 19, 2023 03:41


          Fix compilation errors w/ Ubuntu 23.10

b262d5f

+ some minor doc fixes

tomflynn force-pushed the ubuntu23.10 branch from bf8dd8e to b262d5f Compare

October 19, 2023 04:21

Collaborator

coveralls commented Oct 19, 2023

coverage: 68.882% (-0.002%) from 68.884% when pulling b262d5f on ubuntu23.10 into b194065 on master.

tomflynn requested a review from mchalla

October 19, 2023 05:50

mchalla approved these changes

View reviewed changes

mchalla merged commit 0eeda5c into master

5 checks passed

mchalla deleted the ubuntu23.10 branch

October 19, 2023 14:58

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

Labels

None yet