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

Fix the whitespace check #47533

Merged

JeffBezanson merged 1 commit into master from dpa/whitespace

Nov 10, 2022

Member

DilumAluthge commented Nov 10, 2022

Fix whitespace introduced in #47278


Fix the whitespace check

5c198ac

JeffBezanson merged commit c81456e into master

JeffBezanson deleted the dpa/whitespace branch

November 10, 2022 18:29

KristofferC pushed a commit that referenced this pull request


Fix the whitespace check (#47533)

f13579f

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