On Thu, May 28, 2015 at 11:02:24PM +0200, Julia Lawall wrote:> From: Julia Lawall <Julia.Lawall@lip6.fr>> > Delete jump to a label on the next line, when that label is not> used elsewhere.Applied, thanks.[unhandled content-type:application/pgp-signature]