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

Hi all,

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?

Thanks a lot, Michael