Re: Debian patches

[Reuben Thomas]

2010/3/8 Paolo Bonzini <bonz...@gnu.org>:
> I applied your patch and added the attached on top.

Fine by me. That means that sections 4-7 of the devel.html web page
can now be removed, as per my previous comment.

-- 
http://rrt.sc3d.org