1 new commit added
Looks reasonable to me. I added some minor changes, please review.
(y)
Pushed as 6e438586bc8.
Pull-Request has been closed by kparal