RE: Default name of target executable

14 Oct 2005


      On 13 October 2005 18:57, Tomasz Zielonka wrote:
...
On 10/11/05, Tomasz Zielonka  wrote:
...
On 10/11/05, Simon Marlow  wrote:
...
Ok, let's close this bikeshed. Someone want to send us a patch?
I will try to do this
On which branch of GHC should I be working?
There are some differences between HEAD and STABLE
in the relevant areas.
We always work on HEAD first, and port changes to STABLE if appropriate.

Cheers,
	Simon