CompatHelper: add new compat entry for PrecompileTools at version 1 for package OptimizationOptimJL, (keep existing compat)#812
Open
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2024-08-29-01-15-52-746-00532993498
+2-1
