Passed
Push — develop ( 4ea7b8...cf0876 )
by Torben
03:41 queued 12s
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.15
▶   ± 0
Head
Torben Hansen  
Merge pull request #1040 from georgringer/t3verlabel
2 more commits
Base
Torben Hansen  
[TASK] CGL followup