Skip to content

Conversation

HoloRin
Copy link
Contributor

@HoloRin HoloRin commented Sep 20, 2023

will need #9485 to be merged first

@mergify mergify bot added the bazel label Sep 20, 2023
@HoloRin HoloRin force-pushed the rin/use-otp-26.1 branch 2 times, most recently from f350ec5 to d988f81 Compare September 20, 2023 13:27
@michaelklishin michaelklishin merged commit db9425e into main Sep 20, 2023
@michaelklishin michaelklishin deleted the rin/use-otp-26.1 branch September 20, 2023 19:38
michaelklishin added a commit that referenced this pull request Sep 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants