Completed
Pull Request — master (#228)
by Gabi
04:38
created

Changes

2 issues were newly filtered.
9.14
▶   ± 0
Head
Gabi Udrescu  
Merge 7652cf1208119832ed7f1dbbbd6ea2739015584d into 06e2b99d92e175719d7e841d5be16b7df1a233c5
3 more commits
Base
Christophe Coevoet  
Update the branch alias