On Monday 13 January 2003 10:22 am, John Levon wrote:
> On Mon, Jan 13, 2003 at 09:57:09AM +0000, Angus Leeming wrote:
> > How does this fix the problem? You're removing the shortcut so it'll
> > never work!
>
> Good morning ! Rub those bleary eyes !
>
> > > -label: Replacement:|#R
> > > +label: Replacement:
>
> Duplicate

Understood. I'll commit it.

-- 
Angus

Reply via email to