Skip to content

minor changes

I did some minor changes.

I have a last question, asked here: #572

Merge request reports