MonetDB: resource_management - merge default

2024-10-04 Thread svetlin via checkin-list
Changeset: 828777a0ed76 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/828777a0ed76 Modified Files: clients/Tests/exports.stable.out gdk/gdk.h sql/backends/monet5/UDF/pyapi3/pyapi3.c sql/backends/monet5/rel_bin.c sql/backends/monet5/sql.c sql

MonetDB: resource_management - merge default

2024-09-12 Thread svetlin via checkin-list
Changeset: 09e7c70aa288 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/09e7c70aa288 Branch: resource_management Log Message: merge default diffs (41 lines): diff --git a/gdk/gdk_imprints.c b/gdk/gdk_imprints.c --- a/gdk/gdk_imprints.c +++ b/gdk/gdk_imprints.c @@ -302,17 +302,16 @@ bool

MonetDB: resource_management - merge default

2024-09-06 Thread svetlin via checkin-list
Changeset: 82b748170bbe for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/82b748170bbe Modified Files: clients/Tests/exports.stable.out gdk/gdk.h monetdb5/extras/rapi/rapi.c monetdb5/mal/mal.h monetdb5/mal/mal_function.c monetdb5/mal/mal_instruc