Updated travis to 9.3

Authored by khandpur on Jan 29 2018, 1:45 AM.

Description

Updated travis to 9.3

Details

Committed
GitHub <noreply@github.com>Jan 29 2018, 1:45 AM
Parents
R23:d1f48ddee051: Update FAQ to use HTML 5 details
Branches
Unknown
Tags
Unknown