Changeset: f7883423070b for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/f7883423070b Branch: default Log Message:
Merge with Jun2023 branch. diffs (11 lines): diff --git a/gdk/gdk_logger.c b/gdk/gdk_logger.c --- a/gdk/gdk_logger.c +++ b/gdk/gdk_logger.c @@ -1200,6 +1200,7 @@ log_read_transaction(logger *lg, uint32_ break; default: /* do nothing */ + break; } /* the functions we call here can succeed (LOG_OK), * but they can also fail for two different reasons: _______________________________________________ checkin-list mailing list -- checkin-list@monetdb.org To unsubscribe send an email to checkin-list-le...@monetdb.org