MonetDB: default - Merges second head

Changeset: d8e8844f39e3 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/d8e8844f39e3 Branch: default Log Message: Merges second head diffs (truncated from 372 to 300 lines): diff --git a/gdk/ChangeLog.Jun2023 b/gdk/ChangeLog.Jun2023 --- a/gdk/ChangeLog.Jun2023 +++ b/gdk/ChangeLog.Jun202

MonetDB: default - merges second head

Changeset: 339fc301fd75 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/339fc301fd75 Branch: default Log Message: merges second head diffs (16 lines): diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.y

MonetDB: default - merges second head

Changeset: d7988d7e371d for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/d7988d7e371d Branch: default Log Message: merges second head diffs (11 lines): diff --git a/documentation/index.rst b/documentation/index.rst --- a/documentation/index.rst +++ b/documentation/index.rst @@ -31,6 +31,