[PPL-devel] Could you add git commit ids to to bug fixes?

[Roberto Bagnara]

Michael Tautschnig wrote:
> Now that you've switched to git, would it be possible list the commit ids for
> patches fixing the bugs as listed on http://www.cs.unipr.it/ppl/Bugs/? That way
> it would be fairly easy for me to pick those and add the to the Debian package.
> If you prefer not to so, would it still be possible to extract those and send
> the ids in a reply to this message?

Hello Michael,

sorry for the delay.  Yes, we will certainly do that in the future.  At present
we are working at a PPL 0.11 release that should fix all the PPL 0.10 issues.
I will let you know when a release candidate is ready.  Is this OK for you?
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it