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

From: "Drew Adams" <[email-masked]>
Date: Wed, 3 Oct 2012 20:55:25 -0700

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