[Advent bug squashing]: Bug#986555: marked as done (mark one more symbol as optional)

[Andreas Tille]

X-Debian-PR-Keywords: patch
                      ^^^^^

Another easy one for the weekend. ;-)

-- 
http://fam-tille.de