I've merged and pushed the updates for mantic and jammy into the packaging repo alongside the fix for bug 1988942
I've merged and pushed the updates for mantic and jammy into the packaging repo alongside the fix for bug 1988942