Completed
Pull Request — master (#120)
by
unknown
17:50 queued 07:46
created

Changes

2 new patches (Spacing) are available.
9.72
▲   + 0.14
Head
Giedo Terol  
Merge c194da15f9ba8cad8d139a8ca292c0161015ce3b into 8341a3290fd38eedd2ccb96713e5b58eb5aae0de
2 more commits
Base
John Kleijn  
Doc fix