additional (useful) options added
Merge branch 'master' of github.com:GsDevKit/gsDevKitHome
must lock Grease to github ... needed for Seaside and GemStone 3.2
ping travis
ping travis (again)
add upgrade to GLASS1.0-beta.9.3 document [ci skip]
add title [ci skip]
Merge branch 'dev'