# HG changeset patch
# User GIT repo for MonetDB <monetgit@dev.monetdb.org>
# Date 1623856747 -7200
# Node ID 35592dc59ecbc10c28944a6560e7f28fa8e07091
# Parent  8e3fbb725faf39321385ae859aa15d7b0830e2f4# Parent  65d3f718fe25b1bb2eed259f2206edc9bda6552a
Merge remote-tracking branch 'github/master'