tags 4073 + upstream
# realistically, who is going to come and help?
tags 4073 - help
# is there an archive?
forwarded 4073 bug-gnu-ut...@prep.ai.mit.edu
quit

Manoj Srivastava wrote:

>         The downside seems to just be that the build is inefficient, by
>  removing intermediate files, but the behaviour is correct.

Ok.  Maybe some day there will be hope of fixing it through
standardization.

Thanks for your work on this.
Jonathan



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to