Completed
Push — master ( 42ec4d...11af52 )
by Andrei
26s
created

No notable changes

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

???
Head
Andrei Novikov  
Merge pull request #494 from adavidzh/patch-2
1 more commit
Base
annoviko  
[.][no-build] Update paper.