On Sat, May 02, 2009 at 09:14:43AM +0200, Jürgen Spitzmüller wrote: > Enrico Forestieri wrote: > > OK for branch? > > If you're confident it doesn't need more testing: fine with me. > (this code does not interfere outside of DVI serach, right?)
I extensively tested it (not with webdav, sorry, but it would have not worked even before) and I am confident that it works well. Yes, it does not interfere outside of DVI search. -- Enrico
