Datalab was very slow to start today. I was presented with the option to update datalab to version 1.2.20180713. The "what's new" link beside the message was for GitHub datalab releases. The datalab release page does not have a release for version 1.2.20180713.
Is 1.2.20180713 a legitimate datalab update?
Datalab update message and GitHub datalab release page with missing version