j
k
j a
j l
Pierre Queinnec wrote:
As for your bug, it is clearly different. Could you file a ticket and assign it to me?
Errr, actually I really thought I maintained that port, but I'm not. So please discard the "assign it to me" part ;) -- Pierre
Back to the thread
Back to the list