Skip to content

Conversation

@fingolfin
Copy link
Member

... since PR #52415 by @vtjnash

@fingolfin fingolfin changed the title Remove jl_line_info_node_t (no longer used) Remove jl_line_info_node_t (no longer used) May 12, 2025
@vchuravy vchuravy merged commit 2fee9e0 into master May 13, 2025
8 checks passed
@vchuravy vchuravy deleted the mh/rm-jl_line_info_node_t branch May 13, 2025 09:21
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.

3 participants