Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Minor log changes #15678
A simple "stopped" or "destroy" in log does not really help for understanding whats going on.
Motivation and Context
Spend time for searching log messages "stopped" and "destroy"
Types of change