Copy link
@degasus

degasus May 30, 2018

Member

Please write review comments in the PR itself instead of in the merge commit. Else @spycrab might not see it.