tree 06a2292a8add4c22a99a829e2a08983d1ed56abc
parent 35e8bd6155151b368321b388e6d21cd83bae1b49
author Markus KARG <markus@headcrashing.eu> 1702482348 +0000
committer Markus KARG <markus@headcrashing.eu> 1714202388 +0200

Fixed: A default fulfils requirement, but does not count as assignment.