Closed beutlich closed 3 months ago
Just to be clear: this isn't intended to be part of 4.1.0, right?
Just to be clear: this isn't intended to be part of 4.1.0, right?
Not clear actually. These are minor changes that could go well to 4.1.0. But there is no need to do so. For now, it is master branch only.
@beutlich @HansOlsson so should I back port this to the maint/4.1.x
I guess, back-port is not needed as @HansOlsson remarked.
This fixes