git.psu.edu will be upgraded to 14.4.4 and booted on the latest kernel Thursday 12/9 between 9:00 and 10:00pm. Please let us know if this schedule poses a problem. More information on the git.psu.edu Yammer group.

add devtool latest version check to all commands on startup

1 job for v0.13.0 in 3 minutes and 53 seconds (queued for 6 seconds)
latest
Status Name Job ID Coverage
  Release
passed Release #561119

00:03:53