SIGN IN SIGN UP

rename 'full restart' to 'hot restart' (#17408)

D
Devon Carew committed
f48dec570c899d8e222f5b3b7cbebd7d19fe6843
Parent: a02568b
Committed by GitHub <noreply@github.com> on 5/10/2018, 12:43:13 AM