Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Fix the fix for std::result_of #4496

Merged
merged 1 commit into from
Apr 12, 2023
Merged

Conversation

thejohnfreeman
Copy link
Collaborator

Remade from #4495 under a different branch name, so that I can re-open #4472 after mistakenly closing it.

@shawnxie999
Copy link
Collaborator

Thanks this fixed it!

@thejohnfreeman thejohnfreeman added the Ready to merge *PR author* thinks it's ready to merge. Has passed code review. Perf sign-off may still be required. label Apr 12, 2023
@intelliot intelliot merged commit e75cd49 into XRPLF:develop Apr 12, 2023
@thejohnfreeman thejohnfreeman deleted the result_of branch April 14, 2023 01:16
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Ready to merge *PR author* thinks it's ready to merge. Has passed code review. Perf sign-off may still be required.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants