Processing commands for control@bugs.debian.org: > tags 509803 + wontfix Bug #509803 [ocaml] Fails to properly free memory on exit Added tag(s) wontfix. > thanks Stopping processing here. Please contact me if you need assistance. -- 509803: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=509803 Debian Bug Tracking System Contact owner@bugs.debian.org with problems