Checkout
rjung
committed
on 20 May 19
Remove obsolete comment.