Closed JakubNvk closed 9 years ago
@JakubNvk could you please add a comment on why this change is necessary to the commit message?
Other than that this makes sense.
@mrshu ok, will do.
@JakubNvk can you please squash your commits into one?
@JakubNvk this looks good, please just squash those commits into one. Thanks!
@mrshu: Merging this since it's done.
@pepol I suppose we can live with two commits for such a simple thing. Thanks for merging this.
@mrshu I checked and the second commit is a merge one. I think that one is better on its own.
@pepol yeah, that's probably right.
Signed-off-by: Jakub Novak jakub.novak@gmail.com