7 points by rcarmo 3 hours ago
At last, one of my uses for https://github.com/rcarmo/ground-init is gone.
At last, one of my uses for https://github.com/rcarmo/ground-init is gone.