fixed merge conflict
authorstian853 <stian853@tlvm-4-2-3.ad.liu.se>
Thu, 30 Nov 2023 13:10:45 +0000 (14:10 +0100)
committerstian853 <stian853@tlvm-4-2-3.ad.liu.se>
Thu, 30 Nov 2023 13:10:45 +0000 (14:10 +0100)

Trivial merge