I wrote:
>> OK, would you like me to reflect this discussion in tickets?
>> Let's see, so far we have #3300, I don't see anything else.
>>>> Do you want two tickets, one each for WIndows/Unix? Or
>> four, separating the FilePath and getArgs issues?
Simon Marlow wrote:
> One for each issue is usually better, so four.
OK, they are: #3300, #3307, #3308, #3309.
Regards,
Yitz