Merge branch 'scopetracker-shorter-types'
authorThomas Jarosch <thomas.jarosch@intra2net.com>
Thu, 23 Mar 2017 09:23:01 +0000 (10:23 +0100)
committerThomas Jarosch <thomas.jarosch@intra2net.com>
Thu, 23 Mar 2017 09:23:01 +0000 (10:23 +0100)
commit76b3d93bba3ced10e5e75f2c769fac3a9bcb7d30
treea0069ecc4a48ffeb12b4acee80f76b44982fd25b
parent6569b97d7200321198cf0d7f25f9e5999830b6cc
parentfdd09ae03721cc7be78bff2b2a5873779cdffa73
Merge branch 'scopetracker-shorter-types'