MonetDB bug tracker is going to move

LS,

The MonetDB team wishes to announce the end of our reliance on Bugzilla for bug tracking and enhancement requests. Instead, we switch over to the MonetDB Github issues repo (https://github.com/monetdb/monetdb), which is an hourly based mirror of the Mercurial repository managed at the development group.

The move will take place on Friday, November 27, 2020. The actual transfer of the Bugzilla archive into the Github Issues may take a number of hours.

A redirect will be in place to send people from Bugzilla towards the MonetDB GitHub repository instead.