Completed
Pull Request — master (#859)
by
unknown
06:17
created

No notable changes

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

8.72
▶   ± 0
Head
Grégoire Humeau  
Merge 01d854f889a95e311c16197bd7cbf86ff1c02f83 into ef9fce257c0fcef22978bb5f2bcd888b20d3217a
1 more commit
Base
Paul Andrieux  
add doc and increment branch alias