I did update, and I am reasonably sure that everything was restarted after that.
However, I will try again in the morning and report back. -- You received this message because you are subscribed to the Google Groups "qubes-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-devel+unsubscr...@googlegroups.com. To post to this group, send email to qubes-devel@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-devel/b28e7408-e4df-4654-993f-3b65af6345a2%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.