#1232: Improve output format of Carpet timer trees --------------------------+------------------------------------------------- Reporter: eschnett | Owner: eschnett Type: enhancement | Status: reopened Priority: minor | Milestone: Component: Carpet | Version: Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by knarf):
* status: reviewed_ok => reopened
Comment:
The patch no longer applies, and since the output format seems to have changed in the meantime, there is no quick way to see how to merge.