function byNumber()

in tools/rfc-render/render-rfc-table.js [114:116]


function byNumber(a, b) {
  return a.number - b.number;
}