-------- Original Message -------- Subject: [Bug 463742] Update version of ppl to 0.10pre27 Date: Wed, 24 Sep 2008 12:12:12 -0400 From: bugzilla@redhat.com To: bagnara@cs.unipr.it References: <bug-463742-26529@bugzilla.redhat.com> Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=463742 Dodji Seketeli <dodji@redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Blocks| |463767 -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. You are the assignee for the bug. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it