Skip to content

Conversation

ViralBShah
Copy link
Member

Revert #384

@ViralBShah ViralBShah changed the title Revert new hvcat design Revert new hvcat design temporarily Jul 10, 2023
@ViralBShah ViralBShah requested review from vtjnash and rayegun July 10, 2023 18:55
@ViralBShah
Copy link
Member Author

This makes JuliaLang/julia#48977 pass all CI. Hence merging.

@ViralBShah ViralBShah merged commit 2c7f4d6 into main Jul 10, 2023
@ViralBShah ViralBShah deleted the vs/revert-384 branch July 10, 2023 22:53
vtjnash added a commit that referenced this pull request Jul 10, 2023
vtjnash added a commit that referenced this pull request Jul 12, 2023
This reverts commit 2c7f4d6 (#406),
now that JuliaLang/julia#48977 is finished.
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant