Skip to content
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

2nd attempt at correcting deal.II correction #4615

Merged
merged 1 commit into from
May 17, 2022
Merged

2nd attempt at correcting deal.II correction #4615

merged 1 commit into from
May 17, 2022

Conversation

ljhwang
Copy link
Contributor

@ljhwang ljhwang commented May 17, 2022

my second attempt to create the change to the correct capitalization of deal.II (I now see where I failed previously).

@ljhwang
2nd attempt at correcting deal.II correction
588a15b 
my second attempt to create the change to the correct capitalization of deal.II
bangerth
bangerth approved these changes May 17, 2022
View reviewed changes
Copy link
Contributor

@bangerth bangerth left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ha, now I wonder who wrote this text getting the spelling wrong!

@gassmoeller gassmoeller merged commit 470d45d into geodynamics:main May 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bangerth bangerth bangerth approved these changes

@gassmoeller gassmoeller gassmoeller approved these changes

Assignees
No one assigned
Labels
ready to merge ready to test
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@ljhwang @bangerth @gassmoeller