Commit ec062d44 authored Apr 16, 2023 by Ján Repka

Merge branch 'dev' into 'resource-management'

# Conflicts:
#   Assignment.md