Completed
Push — master ( 0884c2...0b1264 )
by Henry
03:02 queued 11s
created

No notable changes

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

5.77
▶   ± 0
Head
Henry Pan  
Merge pull request #3117 from splitbrain/infoimprovement
2 more commits
Base
Andreas Gohr  
fix the case lookup table. #3113