Tags and Properties for Check-in 219146746a

Context
2022-07-08
07:21 Edit [219146746a]: Add tag "final-2022". artifact: b81a383047 user: jboy
2022-05-23
15:09
move assignment 3 deadline due to holiday check-in: 219146746a user: jboy tags: trunk, final-2022
2020-11-16
15:01
initial empty check-in check-in: a63ef605f5 user: jboy tags: trunk