Completed
Pull Request — master (#3346)
by Andreas
06:05 queued 03:17
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.86
▶   ± 0
Head
Andreas Gohr  
Merge 601a1f6035681df99fd3c393afa21be465812974 into 0827d0966988d2e8511e30264042ba742a954b28
1 more commit
Base
Andreas Gohr  
Merge pull request #3340 from stapelberg/patch-1