On Mon, Jun 27, 2011 at 10:43 AM, Achim Gratz <strom...@nexgo.de> wrote: > Noorul Islam K M <noo...@noorul.com> writes: > [...] > > My patch for CLOCK_INTO_DRAWER already includes a fix for that, albeit a > different one — using @pxref instead of @xref, as seems to have been > intended all along. >
Ok, cool! - Noorul
