Package server updates and 3.0.23-2

[Alan DeKok]

On Jul 21, 2021, at 1:53 AM, Christian Strauf <strauf at rz.tu-clausthal.de> wrote:
> thanks for fixing this issue. I have a question regarding the segfault fix: is it also fixed when building Debian (i.e. Ubuntu) packages from sources when checking out release_3_0_23 or do I need to apply the fix to release_3_0_23 manually? I unfortunately can't use the packages from the package server because we enable the python3 module by patching src/modules/stable (long story) and build the Debiam packages ourselves. Thanks!

  Pull in  8e204e3b6a and 4d4af808a7b

  Alan DeKok.