Although there are holidays in Oslo, try submitting a bug report, it should be picked up in the coming week.