Thanks for the info. I wasn't aware of this.
I'll add a build for v7.40 and set the
latest release tag to that.
Also, thank you for maintaining this dockerfile.
Hi @marcbachmann, could you switch back to 7.40? 7.42 is still in beta and will probably change again before release. There are at least three issues that still need fixing :-(
I'll change the filenames to try to make this more obvious.