Skip to content

Add more info to the config event#12909

Merged
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:config-event-info
Dec 10, 2025
Merged

Add more info to the config event#12909
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:config-event-info

Commits

Commits on Dec 10, 2025