Hi, to make some progress here, I would like to upload a new version of casacore based on the current git repository by the end of the week. This would close this bug. I would also add myself into the "Uploaders" list (and mark it as a regular upload).
Are there any objections? Gijs? Benda? Cheers Ole
