Subject: Re: bug#21751: 24.5; Undesirable sh-mode indent

From: Eli Zaretskii <[email-masked]>
Date: Sat, 02 Sep 2017 15:57:38 +0300

> From: [email-masked]
> Date: Wed, 30 Aug 2017 19:50:30 -0400
> Cc: Phil <[email-masked]>, Oleksandr Gavenko <[email-masked]>,
> 	[email-masked]
> 
> > I guess sh-indentation should be made into an obsolete alias for
> > sh-basic-offset?
> 
> Here's a patch

Thanks.  If there are no objections in a few days, please push.