On 30 June 2016 at 19:22, Jan Vesely <jan.vesely at rutgers.edu> wrote: > Remove whitespace at the end of line. > diff -b shows only two removed lines > > Signed-off-by: Jan Vesely <jan.vesely at rutgers.edu> Pushed to master. Thanks Jan ! -Emil