[Pkg-running-devel] Fix this issue in an upload?

Wed May 11 19:20:09 UTC 2011

On Wed, May 11, 2011 at 03:00:52PM +0200, Christian PERRIER wrote:
> The patch proposed upstream for this issue is apparently working, from
> comments in upstream BTS. Should't we, then upload a new version with
> that pach added?

I didn't have time to test it, these days I am quite busy with other
stuff. But I don't have any objections if you want to integrate that
patch!

-Ralf.
-- 
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.jussieu.fr/~treinen/