Subject: bug#6512: 23.2; ediff-diff-options being ignored

From: Leo Shidai Liu <[email-masked]>
Date: Fri, 23 Sep 2011 19:21:39 +0800

On 2011-09-23 19:00 +0800, Lars Magne Ingebrigtsen wrote:
[snipped 4 lines]
> So the original bug reporter is altering the wrong variable?

I just read the whole bug report. 

My comment was wrong. Sorry. Uday was setting the right variable for his
purpose but I don't know if the bug is due to not setting it through
customize.

>From the definition of ediff-diff-options, ediff-set-diff-options is
required for the changed value to be in effect.

Leo