On Thu, Apr 23, 2015 at 03:09:25PM +0200, Michael Adam wrote: > Just a minor update (after a hint by Ira) that removes > a trailing whitespace in one place. (git am complained). LGTM - thanks for the cleanup ! Pushed.