gcc 4.8.1 made it to Debian Sid

[Johannes Pfau]

> 
> 
> > 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?

If you click "pull request" or "compare" on github there should be a
bar here:
http://i.imgur.com/x3BJpeH.png

Click edit. Now you can select target repository, target branch, source
repository and source branch. (This is with the new github interface)