Merge overleaf-2019-03-02-2150 into master

This commit is contained in:
Radim Lipovčan 2019-03-02 22:50:24 +01:00 committed by GitHub
commit 983416bfa2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23