Re: [PATCH 5/5] server: Ran tools/make_requests after adding device notification verbs