On Thu, 28 Jun 2012, H.J. Lu wrote: > Can someone take gABI draft html files and put them on > github? That requires permission from the copyright holder. -- Joseph S. Myers joseph@codesourcery.com