* 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
