Completed
Pull Request — master (#3344)
by Andreas
08:12 queued 05:16
created

No notable changes

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

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