Completed
Push — master ( bb53d1...f77362 )
by
unknown
02:42
created

Changes

2 new patches (Spacing) are available.
8.11
▶   ± 0
Head
jenkins-bot  
Merge "Replace NullResult’s Context with ContextCursor"
1 more commit
Base
jenkins-bot  
Merge "Work around CheckingResultsBuilder bug"