just forwarding to ganeti-devel ---------- Forwarded message ---------- From: Klaus Aehlig <[email protected]> Date: Mon, Jun 22, 2015 at 4:14 PM Subject: Re: [PATCH stable-2.12 5/5] Get QuickCheck 2.7 compatibility To: Petr Pudlak <[email protected]>
On Mon, Jun 22, 2015 at 03:27:16PM +0200, Petr Pudlak wrote: > From: Klaus Aehlig <[email protected]> > > Replace deprecated `printTestCase` by its replacement `counterexample`. > Note that commit 077c415a added a CPP-guarded fallback for QuickCheck < 2.7. > > Signed-off-by: Klaus Aehlig <[email protected]> > Reviewed-by: Petr Pudlak <[email protected]> > > Cherry-picked-from: 693db8a9e7a3e3b855350b9f558251bce1718d07 > Signed-off-by: Petr Pudlak <[email protected]> > --- > test/hs/Test/Ganeti/Locking/Waiting.hs | 30 +++++++++++++++--------------- > 1 file changed, 15 insertions(+), 15 deletions(-) LGTM -- Klaus Aehlig Google Germany GmbH, Dienerstr. 12, 80331 Muenchen Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschaeftsfuehrer: Graham Law, Christine Elizabeth Flores -- Petr Pudlák Software Engineer [email protected]  Google Germany GmbH Dienerstraße 12 80331 München Geschäftsführer: Graham Law, Christine Elizabeth Flores Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Diese E-Mail ist vertraulich. Wenn Sie nicht der richtige Adressat sind, leiten Sie diese bitte nicht weiter, informieren Sie den Absender und löschen Sie die E-Mail und alle Anhänge. Vielen Dank. This e-mail is confidential. If you are not the right addressee please do not forward it, please inform the sender, and please erase this e-mail including any attachments. Thanks.
