While its not possible to determine with certainty from the information provided whether this is a known leak or not, there are a number of leaks and resource over-allocations fixed between 3.1.6 and 3.1.20.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org