Subject: Re: 23.0.60; recode-region leaves the region active

From: Chong Yidong <[email-masked]>
Date: Wed, 23 Jul 2008 18:42:15 -0400

I've checked in a fix to make recode-region deactivate the mark if the
region was active.  Thanks.