Merge overleaf-2019-03-03-1059 into master

This commit is contained in:
Radim Lipovčan 2019-03-03 12:01:02 +01:00 committed by GitHub
commit ea6038390f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 6 deletions