Skip to content

Conversation

@nzmichaelh
Copy link
Contributor

Signed-off-by: Michael Hope mlhx@google.com

Signed-off-by: Michael Hope <mlhx@google.com>
@mnkp
Copy link
Member

mnkp commented Nov 22, 2017

I believe it's better not to merge this PR. Current version of the watchdog API is about to be deprecated as we already have #1260.

@nzmichaelh
Copy link
Contributor Author

@mnkp no worries! I'll leave this open just in case.

@nzmichaelh nzmichaelh closed this Jan 13, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants