On Thu, May 28, 2015 at 11:02:24PM +0200, Julia Lawall wrote:
> From: Julia Lawall <[email protected]>
> 
> Delete jump to a label on the next line, when that label is not
> used elsewhere.

Applied, thanks.

Attachment: signature.asc
Description: Digital signature

Reply via email to