MonetDB: Jul2021 - Merge with Oct2020 branch.

[Sjoerd Mullender]

Changeset: 40318e7ff0a7 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/40318e7ff0a7
Modified Files:
        gdk/gdk_align.c
        gdk/gdk_batop.c
        gdk/gdk_logger.c
        gdk/gdk_private.h
        gdk/gdk_storage.c
        gdk/gdk_string.c
        gdk/gdk_utils.c
        monetdb5/modules/atoms/str.c
        sql/backends/monet5/sql.c
        sql/storage/bat/bat_storage.c
        sql/storage/store.c
Branch: Jul2021
Log Message:

Merge with Oct2020 branch.

_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org