Skip to content

Fixed bug #20454, two problems with TH pprint

Mario requested to merge wip/T20454 into master

This fixes bug #20454: two small problems with TH pprint.

Merge request reports