Merge pull request #5599 from annando/postupdate
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sat, 11 Aug 2018 05:47:28 +0000 (07:47 +0200)
committerGitHub <noreply@github.com>
Sat, 11 Aug 2018 05:47:28 +0000 (07:47 +0200)
Console script to ensure that all post updates are finished


Trivial merge