; * src/w32.c (term_ntproc): Fix capitalization of commentary.

(cherry picked from commit 88e30e1ac5a154d9828954f8052e1a04aed15999)

diff --git a/src/w32.c b/src/w32.c
index 567a1894df878425b884f07de9690448bbba4d61..d7bf173ce258468f243a767ca1391f3a02979d9d 100644 (file)
--- a/src/w32.c
+++ b/src/w32.c
@@ -10462,11 +10462,11 @@ term_ntproc (int ignored)
 
   term_timers ();
 
-  /* shutdown the socket interface if necessary.  */
+  /* Shut down the socket interface if necessary.  */
   term_winsock ();
 
   term_w32select ();
-  /* exit all worker threads of sys_select if necessary.  */
+  /* Exit all worker threads of sys_select if necessary.  */
   free_wait_pool ();
 #if HAVE_NATIVE_IMAGE_API
   w32_gdiplus_shutdown ();