4 Jul
2014
4 Jul
'14
7:04 a.m.
Whatever we do: we have some broken boards, so please let us fix it before next release. I am off on vacation now. If necessary simply drop this patch from the series.
Cheers Dirk