Completed
Push — master ( cb31d7...0df7dc )
by Craig
05:45
created
7.05
▶   ± 0
Head
Craig Heydenburg  
Merge remote-tracking branch 'origin/1.5'
5 more commits
Base
Craig Heydenburg  
reduce scanning depth closes #2708