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
