[Dillo-dev] [patch] fix FltkPlatform destructor

On Thu, Jun 19, 2008 at 05:10:43PM +0200, Johannes Hofmann wrote:

Hi,

this fixes a small memory leak in FltkPlatform.

Committed. -- Cheers Jorge.-