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

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