| changeset 77358:7762ab82948e |
|---|
| date: | 2020-10-12 13:36 +0300 |
|---|
| user: | Panagiotis Koutsourakis <kutsurak@monetdbsolutions.com> |
|---|
| branch: | default |
|---|
| files: | |
|---|
| message: | Merge remote-tracking branch 'github/master' |
|---|
| |
| changeset 77362:af99ac459e92 |
|---|
| date: | 2020-10-12 14:40 +0200 |
|---|
| user: | GIT repo for MonetDB <monetgit@dev.monetdb.org> |
|---|
| branch: | default |
|---|
| files: | |
|---|
| message: | Merge remote-tracking branch 'github/master' |
|---|
| |
| changeset 77365:3acdcdad3b07 |
|---|
| date: | 2020-10-12 15:45 +0200 |
|---|
| user: | Pedro Ferreira <pedro.ferreira@monetdbsolutions.com> |
|---|
| branch: | default |
|---|
| files: | clients/ChangeLog gdk/gdk_storage.c monetdb5/modules/kernel/batstr.c |
|---|
| message: | Merged with octbugs |
|---|
| |
| changeset 77367:5bad386c4eb3 |
|---|
| date: | 2020-10-12 15:57 +0200 |
|---|
| user: | Niels Nes <niels@cwi.nl> |
|---|
| branch: | default |
|---|
| files: | tools/monetdbe/monetdbe.c |
|---|
| message: | small compilation fix |
|---|
| |