MonetDB: Dec2023 - Fix comment.

Changeset: d2ae93eddd82 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/d2ae93eddd82 Modified Files: gdk/gdk_bat.c Branch: Dec2023 Log Message: Fix comment. diffs (12 lines): diff --git a/gdk/gdk_bat.c b/gdk/gdk_bat.c --- a/gdk/gdk_bat.c +++ b/gdk/gdk_bat.c @@ -861,7 +861,7 @@ C

MonetDB: Dec2023 - Fix comment: don't change history.

Changeset: bd1fd76f9425 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/bd1fd76f9425 Modified Files: gdk/gdk.h Branch: Dec2023 Log Message: Fix comment: don't change history. diffs (12 lines): diff --git a/gdk/gdk.h b/gdk/gdk.h --- a/gdk/gdk.h +++ b/gdk/gdk.h @@ -755,7 +755,7 @@