Skip to content

Quickly fix a mistake in #8602#9078

Merged
DHowett merged 1 commit intomainfrom
dev/pabhoj/settings_fix
Feb 9, 2021
Merged

Quickly fix a mistake in #8602#9078
DHowett merged 1 commit intomainfrom
dev/pabhoj/settings_fix

Conversation

@PankajBhojwani
Copy link
Contributor

Summary of the Pull Request

There was a mistake in #8602, this change fixes that (using and include moved to cpp file)

@DHowett DHowett changed the title Quick fix for mistake in #8602 Quickly fix a mistake in #8602 Feb 9, 2021
@DHowett DHowett merged commit a902895 into main Feb 9, 2021
@DHowett DHowett deleted the dev/pabhoj/settings_fix branch February 9, 2021 01:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants