# HG changeset patch
# User Edouard Tisserant
# Date 1553774951 -3600
# Node ID 9234abac093f14a7ecdec1fecb85fe87195a668a
# Parent  4f4d778c93769f7cc3351b24d1a61bf00a8ddfa2
Enhanced statistics display code, used it and saw no more noticable leak while editing. Closing branch.