Repository navigation
v8.0.0880
Problem: Travis uses an old Ubuntu version. Solution: Switch from precise to trusty. (Ken Takata, closes #1897)
8000
Problem: Travis uses an old Ubuntu version. Solution: Switch from precise to trusty. (Ken Takata, closes #1897)