On Thu, 1 Feb 2018, Segher Boessenkool wrote: >> Just the move of <!-- <h3 id="nvptx">NVPTX</h3> --> seems >> unclear to me? Can you omit that? > The entries are alphabetic, except that one. Should have put it in > a separate patch, sorry.
Actually it was fine as I just realize. I got confused by hppa and nvptx (which is sorted properly) vs PA-RISC and NVPTX (which is not). Obviously we should sort by what folks see, not the HTML IDs. Sorry about the confusion. Gerald
