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

Proof INFLIGHT_ALIGNMENT_ROUTINES #591 #673

Merged
merged 1 commit into from
Jun 9, 2020
Merged

Proof INFLIGHT_ALIGNMENT_ROUTINES #591 #673

merged 1 commit into from
Jun 9, 2020

Conversation

jstuyck
Copy link
Contributor

@jstuyck jstuyck commented Jun 7, 2020

Entire file has been checked and one issue fount.

Page: 1249—1258

@jstuyck jstuyck mentioned this pull request Jun 7, 2020
Closed
@wopian wopian added this to the Luminary099 milestone Jun 9, 2020
@wopian wopian added the Type: Proof Comanche55 and Luminary99 files label Jun 9, 2020
@wopian wopian linked an issue Jun 9, 2020 that may be closed by this pull request
Proof INFLIGHT_ALIGNMENT_ROUTINES #591
Closed
@wopian wopian merged commit 497aef4 into chrislgarry:master Jun 9, 2020
@wopian
Copy link
Collaborator

wopian commented Jun 9, 2020

Thank you for proofing this! 👍

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

@wopian wopian wopian approved these changes

Assignees
No one assigned
Labels
Type: Proof Comanche55 and Luminary99 files
Projects
None yet
Milestone
Luminary099
Development

Successfully merging this pull request may close these issues.

Proof INFLIGHT_ALIGNMENT_ROUTINES
2 participants
@jstuyck @wopian