Branch force pushed by jurgenhaas at 2021-10-13T14:11:12+00:00, 3238495-optimize-initialization-of moved from this tag to 354036b8ca5e1d5aa63adc8ce4672a1df2c12f6e
Branch force pushed by jurgenhaas at 2021-10-13T14:11:12+00:00, 3238495-optimize-initialization-of moved from this tag to 354036b8ca5e1d5aa63adc8ce4672a1df2c12f6e