Github/Git Pull 482

[David]

I am having a problem with my Pull-Request, I don't know how I can do 
that: 
https://github.com/D-Programming-Language/phobos/pull/482#issuecomment-5070817
I hope you can give me a short intstruction what to do, thanks.