Skip to content

Fix lock in AllenUpdater

Sascha Stahl requested to merge sstahl-2024-patches-patch-0a97 into 2024-patches

There was an unnamed unique_lock in AllenUpdater.

Merge request reports