@adubovikov - is this pull ok to merge? If yes, then let me do it manually this time, because I am going to work on restructuring of the source code tree and don't want to mess it.

@davidcsi - for the future pull requests, do not do reformatting (indentation changes, renaming, etc.) in a pull request with new features, because it is hard to review the additions to the code. We value a lot the pull requests for beautification, they are very welcome, but do them as separate patches. In this specific case, your addition seems not to have coherent indentation, but you tried to do for other parts of existing code.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.