Build #83 (11/08/2017, 9:51:58 PM)

1. CSV data store: make sure that we can export to a (really) big CSV file (commit: 0fa63bd) (details / githubweb)
2. Slight updates to our downloads and what is new pages (#1394). (commit: 145ce68) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 5.5 sec waiting;
• 8.8 sec build duration;
• 14 sec total from scheduled to completion.

• refs/remotes/origin/master