Merge remote-tracking branch 'upstream/stable' into merge_stable

[MartinNowak]

Conflicts:
changelog/changelog.ddoc
posix.mak

[dlang-bot]

Thanks for your pull request, @MartinNowak!

Bugzilla references

Your PR doesn't reference any Bugzilla issue.

If your PR contains non-trivial changes, please reference a Bugzilla issue or create a manual changelog.

[wilzbach]

BTW did you realize that you don't need to run update_nav.sh anymore?
It's now automatically done by the preprocessor for you.

[MartinNowak]

I didn't run any preprocessor and update_nav.sh was still there, so I didn't notice @wilzbach.
https://gist.github.com/MartinNowak/a471fe7ddbfeef205cdf04c93a94c6d0#file-release-sh-L77
I've seen the change though, but also I don't think it was on stable.

[MartinNowak]

For reference #2159.

[MartinNowak]

Seems like I still need to call update_nav to update the navigation ;).

[wilzbach]

I've seen the change though, but also I don't think it was on stable.

Yeah, sorry. I was commenting from my phone and there's it always hard to search for PRs with their bulky mobile UI.

Seems like I still need to call update_nav to update the navigation ;).

Ah sorry. Yeah, maybe I can make it obsolete for the next release ;-)