Completed
Push — master ( fc17e7...961698 )
by Kamil
631:36 queued 614:06
created
9.52
▶   ± 0
Head
Kamil Kokot  
Merge branch '1.2'
7 more commits
Base
Kamil Kokot  
Merge pull request #9557 from teohhanhui/generic-lazy-choice-tree