Subject: Re: bug#1806: dired-pop-to-buffer in wrong place

From: martin rudalics <[email-masked]>
Date: Thu, 04 Oct 2012 09:45:01 +0200

>> +  (declare (obsolete dired-mark-pop-up "24.3"))
 >
 > Huh?  Are you kidding?  I certainly hope so.
 >
 > We just spent a long time fixing bug #7533 - it took two years to get it fixed
 > right.  `dired-mark-pop-up' now works as it should.
 >
 > Please do not even think about deprecating `dired-mark-pop-up'.

Don't worry.  This is a `declare' form for `dired-pop-to-buffer' telling
people to use `dired-mark-pop-up' instead.

martin