James Allen 286dd564e2 Merge pull request #1413 from sharelatex/pr-fix-history-default-file-selection 7 lat temu
..
es 659242b457 Merge pull request #1037 from sharelatex/as-decaffeinate 8 lat temu
src 286dd564e2 Merge pull request #1413 from sharelatex/pr-fix-history-default-file-selection 7 lat temu