Tooling 1.12.0

July 28, 2016

Features:

• Changed the background color of the navigation bar in the tooling, and styled like breadcrumbs.