Skip to content

CompatHelper: bump compat for DynamicPPL in [weakdeps] to 0.41 for package GeneralisedFilters, (keep existing compat)#155

Open
github-actions[bot] wants to merge 1 commit intomainfrom
compathelper/new_version/2026-04-22-00-18-37-250-04068015535
Open

CompatHelper: bump compat for DynamicPPL in [weakdeps] to 0.41 for package GeneralisedFilters, (keep existing compat)#155
github-actions[bot] wants to merge 1 commit intomainfrom
compathelper/new_version/2026-04-22-00-18-37-250-04068015535