Completed
Pull Request — master (#494)
by
unknown
47s
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.