On 8 April 2011 15:55, Marco van de Voort <marcov at stack.nl> wrote: > > FYI > > Saw that this port expires in a few days. No comment on that, but please > note that it is mentioned in the developers handbook in the "compilers" paragraph > (2.3.3), which might need editing. I've sent a PR-- although apparently this was already planned. :$ Chris