On Sat, Aug 20, 2011 at 08:12:39AM +0200, Julia Lawall wrote:> From: Julia Lawall <julia@diku.dk>> > Introduce a new label that includes kfree and jump to that one.Applied, thanks.