solarmystic, how do you merge a pull request that has not been merged into master by henrik yet? I saw you talking about a command called "git pull", how do I use it?
PS: Where are you from? Your english is top notch
PS: Where are you from? Your english is top notch

