Tags and Properties for Check-in 900b323b25

Context
2022-11-01
23:29
use dict.pop() instead of get+del check-in: 900b323b25 user: mario tags: trunk
2018-05-18
13:51
initial empty check-in check-in: db9f884efc user: mario tags: trunk