Hi Michael, Cedric,
Thank you for everything.
(11/11/19 7:17), Michael Stahl wrote:
hi Tomofumi,
thank you for your patch; i have pushed it, but not as a fix to the bug
40831 :)
(--)
i am currently not sure if your patch is the right fix; i would assume
that the cursor that points to the r
On 16/11/11 16:08, Tomofumi Yagi wrote:
> I attached a revised patch.
hi Tomofumi,
thank you for your patch; i have pushed it, but not as a fix to the bug
40831 :)
> On 17/11/11 09:27, Cedric Bosdonnat wrote:
>> Hi Michael,
>>
>> On Wed, 2011-11-16 at 16:20 +0100, Michael Stahl wrote:
>>> now