Will Berkeley has submitted this change and it was merged. ( http://gerrit.cloudera.org:8080/12246 )
Change subject: Various mostly cosmetic improvements to the maintenance manager ...................................................................... Various mostly cosmetic improvements to the maintenance manager Change-Id: I2489a10d092c422ab9e3a0a85b3238fec3b329a6 Reviewed-on: http://gerrit.cloudera.org:8080/12246 Tested-by: Kudu Jenkins Reviewed-by: Adar Dembo <[email protected]> --- M src/kudu/util/debug/trace_logging.h M src/kudu/util/maintenance_manager.cc M src/kudu/util/maintenance_manager.h 3 files changed, 105 insertions(+), 92 deletions(-) Approvals: Kudu Jenkins: Verified Adar Dembo: Looks good to me, approved -- To view, visit http://gerrit.cloudera.org:8080/12246 To unsubscribe, visit http://gerrit.cloudera.org:8080/settings Gerrit-Project: kudu Gerrit-Branch: master Gerrit-MessageType: merged Gerrit-Change-Id: I2489a10d092c422ab9e3a0a85b3238fec3b329a6 Gerrit-Change-Number: 12246 Gerrit-PatchSet: 2 Gerrit-Owner: Will Berkeley <[email protected]> Gerrit-Reviewer: Adar Dembo <[email protected]> Gerrit-Reviewer: Alexey Serbin <[email protected]> Gerrit-Reviewer: Andrew Wong <[email protected]> Gerrit-Reviewer: Kudu Jenkins (120) Gerrit-Reviewer: Will Berkeley <[email protected]>
