This repository was archived by the owner on Mar 30, 2023. It is now read-only.
This repository was archived by the owner on Mar 30, 2023. It is now read-only.
Editor version SHA no longer displayed #131
Description
The editor used to show the Git SHA of which version you had; it no longer does:
