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

[Michael Tautschnig]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 194 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090313/6cdd5868/attachment.sig>