* Sepherosa Ziehau wrote: > > The panic should be fixed on "master". Please re-pull. ^^^^^^ ^^^^^^^^ It is interesting to see how fast the git slang is adopted by our developers :P *SCNR* Matthias