Hi Kenneth et al,

On 19/08/2012 11:21, Kenneth Hoste wrote:
> This is fixed in the DOLFIN branch already, since I also bumped into it.
> Fotis, if you want this fast, I can cherry-pick this into develop.

yeah, I think it worths it, since it affects a little bit too many things!

-- 
echo "sysadmin know better bash than english" | sed s/min/mins/ \
        | sed 's/better bash/bash better/' # Yelling in a CERN forum

Reply via email to