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

[martin rudalics]

>> +  (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