This repository has been archived by the owner on Jun 12, 2018. It is now read-only.
This is the last revision with support for JSON-based recorded sessions. If you have old recorded sessions in JSON format, you will need this tag to play them back with the replay tool. Going forward, the format of the output files will be BSON.