tree 3eadeaa2cf1852a28fe8efa9dffc3d88fabcf0ec
parent b7b346c3e56030d19ac58d33326b69bbaf226552
author Till Hofmann <hofmann@kbsg.rwth-aachen.de> 1581342755 +0100
committer Martin Hořeňovský <martin.horenovsky@gmail.com> 1584612481 +0100

Switch back to uncolored output after printing filters

After printing the list of filters, switch back from yellow to black
before printing a newline to avoid the remaining output to be colored in
yellow.