Closed arkwave closed 8 years ago
Hey, folks, I know this PR is trivial, but in general let's try and get two pairs of eyes on any PR before merging. The first person on the scene, give a thumbs up, the second also has a look and if they agree can merge. This is just to make sure that nothing slips by under the radar!
as in the title.