CompatHelper: add new compat entry for "MPIPreferences" at version "0.1" for package docs#867

Merged

giordano merged 2 commits intomasterfrom compathelper/new_version/2024-08-13-01-25-06-294-132381917

Aug 13, 2024

+1

Commits on Aug 13, 2024

CompatHelper: add new compat entry for "MPIPreferences" at version "0.1" for package docs
github-actions[bot]
committed
Merge branch 'master' into compathelper/new_version/2024-08-13-01-25-06-294-132381917
giordano
authored