-
Notifications
You must be signed in to change notification settings - Fork 522
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.
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
\hyperlink{H__g}, etc. #575
Conversation
Needs merge. Skipping this one. |
@fulldecent I don't know why you are are approving these changes and in other PRs with merge conflicts when there are still conflicts to be resolved. |
Sorry for the confusion. I am reviewing based on a manual review of the diffs. You're right. Instead I should be looking at the whole thing. |
No worries, I forgive you, just keep an eye out for builds failing and merge conflicts in future. |
@pirapira this should be good to merge now. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me.
@jamesray1 @fulldecent I will notice merge conflicts. Thank you for your contributions. |
No description provided.