[Gnu-arch-users] Re: recent changes

[Matthieu Moy]

"Derek Zhou" <address@hidden> writes:

> I can make some patches so that tla will complain loud if a greedy
> revlib is not found. Also how about a default greedy revlib in
> either ~/my-tla-revlib or /tmp/uid-tla-revlib? 

Would /tmp/uid-tla-revlib really be an improvement over pristine
trees? (usually, /tmp is deleted at reboot, whereas pristine trees are
persistant)

-- 
Matthieu