From d52c7d1a45e0e22b1de60976b050b1722232ef00 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Wed, 20 Mar 2024 16:21:19 +0100
Subject: [PATCH] Merge branch 'master' into or-scopes