On Mon, Jun 27, 2011 at 10:43 AM, Achim Gratz <[email protected]> wrote: > Noorul Islam K M <[email protected]> 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
