Hi Jarmo,

Jarmo Hurri <jarmo.hu...@syk.fi> writes:

> You probably mean
>
> (defalias 'gnus 'gnus-no-server)

Er.. yes.

> which, to my ashtonishment, did not do it. I don't know why. It did not
> matter whether I defined the alias before or after requiring org.

This looks like a Gnus bug.  Please report it to the Gnus developers.

> It is also possible for a user to run both gnus and gnus-no-server
> (e.g., the latter when there is no connection to the news server).

Okay.  I've pushed a slightly edited version of your patch, please 
check the ChangeLog here:

  http://orgmode.org/w/org-mode.git?p=org-mode.git;a=commit;h=1086895

Thanks,

-- 
 Bastien

Reply via email to