[Bug 25183] HandleWith should have a User_Action_Time argument

[bugzilla-daemon at freedesktop.org]

https://bugs.freedesktop.org/show_bug.cgi?id=25183

--- Comment #4 from Will Thompson <will.thompson at collabora.co.uk> 2010-05-24 07:26:47 PDT ---
Looks fine to me.

HandleWithMisc(s: handler, a{sv}: misc) would be another option but I think it
would be overkill. :)

-- 
Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.