gcc 4.8.1 made it to Debian Sid

H. S. Teoh hsteoh at quickfur.ath.cx
Fri Jul 19 12:05:06 PDT 2013


On Fri, Jul 19, 2013 at 10:53:27AM +0200, eles wrote:
> On Thursday, 18 July 2013 at 17:10:10 UTC, H. S. Teoh wrote:
> >On Thu, Jul 18, 2013 at 10:22:14AM +0200, eles wrote:
> >>On Thursday, 11 July 2013 at 14:42:09 UTC, H. S. Teoh wrote:
> >>>On Thu, Jul 11, 2013 at 08:09:33AM +0100, Iain Buclaw wrote:
> >>>>On Jul 11, 2013 1:28 AM, "H. S. Teoh"
> >>>><hsteoh at quickfur.ath.cx>
> >I think you have to fork my fork in order to make a pull, I don't
> >know if github supports pull requests to a different fork of the main
> >repo.
> 
> I did try that, but it forks the original repo instead.

Oh.


> I think, in the theory, only Iain could be able to integrate your (and
> mine) pull requests into his repository.

Really? That's kinda... pointless, isn't it? 'cos why would my fork page
have the "pull requests" tab?


> What about you getting the keys of the main gdmd repo and move there
> the D-port of gdmd?
> 
> You already did tremendous amount of work, to the point that the old
> version of gdmd (the Perl script) could be already dropped (or kept
> for historical reasons).

Not really, there are still some dmd options that dmd-script supports,
but gdmd.d doesn't yet.


T

-- 
Everybody talks about it, but nobody does anything about it!  -- Mark Twain


More information about the D.gnu mailing list