Completed
Push — master ( a9ff63...64b192 )
by Gaetano
06:26 queued 01:55
created

No notable changes

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

5.21
▶   ± 0
Head
gggeek  
more fixes to the manual
Base
gggeek  
more work on the manual