Skip to content

Conversation

@mshr-h
Copy link
Contributor

@mshr-h mshr-h commented Sep 15, 2024

As per title.
It has no functional changes.
Part of #17346
cc @yongwww @vinx13 @tqchen

@github-actions github-actions bot requested review from tqchen and vinx13 September 15, 2024 14:07
@mshr-h mshr-h force-pushed the relax-exportedprogram-5 branch 2 times, most recently from 03128a1 to f78e9cd Compare September 16, 2024 08:08
@tqchen tqchen merged commit 4ab3f82 into apache:main Sep 16, 2024
@mshr-h mshr-h deleted the relax-exportedprogram-5 branch September 16, 2024 14:30
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