Merge pull request #952 from jorik-utwente/narrow-dyn-scope-atomic-op… #620
sync.yml
on: push
update_num_rules
6s
sync_submodule_capa
9s