Amadeus claimed a gain in its global share of agency air bookings of 1.6 percentage points to 39.8%, and said overall GDS industry growth was sluggish. Profit in the quarter was 7.5% higher at 153 million euros (about $211 million), while operating income was up 5.1%. Amadeus' distribution revenue increased 2.4% to 612 million euros (about $784 million), while its airline IT business grew revenue by 9.8% to 183 million euros (about $234 million). Get the full story at Amadeus