[kudu-CR] external mini cluster: actually default to system unsync time source

["Adar Dembo (Code Review)" <ge...@cloudera.org>]

Adar Dembo has abandoned this change. ( http://gerrit.cloudera.org:8080/14836 )

Change subject: external_mini_cluster: actually default to system_unsync time source
......................................................................


Abandoned
-- 
To view, visit http://gerrit.cloudera.org:8080/14836
To unsubscribe, visit http://gerrit.cloudera.org:8080/settings

Gerrit-Project: kudu
Gerrit-Branch: master
Gerrit-MessageType: abandon
Gerrit-Change-Id: I1eefdea607d5631e11868a49341f51e120a0ba36
Gerrit-Change-Number: 14836
Gerrit-PatchSet: 4
Gerrit-Owner: Adar Dembo <ad...@cloudera.com>
Gerrit-Reviewer: Adar Dembo <ad...@cloudera.com>
Gerrit-Reviewer: Alexey Serbin <as...@cloudera.com>
Gerrit-Reviewer: Andrew Wong <aw...@cloudera.com>
Gerrit-Reviewer: Grant Henke <gr...@apache.org>
Gerrit-Reviewer: Kudu Jenkins (120)