Merge branch 'main' of gitlab.liu.se:TDDC76-2023-PRA1/Maria-1 into main
authormalak585 <malak585@tlvm-4-2-1.ad.liu.se>
Fri, 8 Dec 2023 09:37:01 +0000 (10:37 +0100)
committermalak585 <malak585@tlvm-4-2-1.ad.liu.se>
Fri, 8 Dec 2023 09:37:01 +0000 (10:37 +0100)

Trivial merge