Your message dated Mon, 11 Jul 2016 02:55:02 +0900 (JST) with message-id and subject line has caused the debbugs.gnu.org bug report #23936, regarding 25.1.50; shell-command shell-command-on-region doc fix to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 23936: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=23936 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems