Completed
Push — master ( cd31c2...666e0b )
by Philip
04:57 queued 02:21
created

No notable changes

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

10
▶   ± 0
Head
Philip Lehmann-Boehm  
fixed erroneous manual generation
Base
Philip Lehmann-Boehm  
slightly nicer manual wording