Merge branch 'stable' into devel
commit743ce7b1c63604db9c49c855b9ca36ce132ca708
authorintrigeri <intrigeri@boum.org>
Mon, 8 Jul 2024 10:14:23 +0000 (8 10:14 +0000)
committerintrigeri <intrigeri@boum.org>
Mon, 8 Jul 2024 10:14:23 +0000 (8 10:14 +0000)
tree975c21bf876ad060bb55a3463b279ff3ce74d762
parentdbd5069c0d25c46a290c67d84eacee00b8be8aa7
parent42f3821a19998f589322c8321a6d702ea51c19ff
Merge branch 'stable' into devel