Thai Airways et Gulf Air améliorent leur accord de partage de codes