From: John Darrington Date: Fri, 16 Jul 2010 14:18:07 +0000 (+0200) Subject: Fix memory leak X-Git-Tag: sav-api~157 X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=07a52bbf019ae32e9ca831af0d0c097942fb3936;hp=07a52bbf019ae32e9ca831af0d0c097942fb3936;p=pspp Fix memory leak ---