Bug#706830: Mistake on my side

2013-05-07 Thread Julien Cristau
On Tue, May 7, 2013 at 12:22:58 +0200, Ondřej Surý wrote: > Hi, > > I did a mistake in the first Ben file, here's the correct one: > > title = "php 5.5"; > is_affected = .build-depends ~ "php5-dev"; > is_good = .depends ~ "phpapi-20121212"; > is_bad = .depends ~ "phpapi-20100525"; > notes = "#7

Bug#706830: Mistake on my side

2013-05-07 Thread Ondřej Surý
Hi, I did a mistake in the first Ben file, here's the correct one: title = "php 5.5"; is_affected = .build-depends ~ "php5-dev"; is_good = .depends ~ "phpapi-20121212"; is_bad = .depends ~ "phpapi-20100525"; notes = "#706830"; Sorry, -- Ondřej Surý -- To UNSUBSCRIBE, email to debian-bugs-dis