Merge pull request #8696 from pabigot/issue/8683
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 17 Apr 2018 09:55:12 +0000 (11:55 +0200)
committerGitHub <noreply@github.com>
Tue, 17 Apr 2018 09:55:12 +0000 (11:55 +0200)
Use /run/clock/synchronized to notify when clock has been synchronized


Trivial merge