Open jwnimmer-tri opened 3 months ago
In #48, we added a ur3e symlink to smooth over the transition. Around 2024-05-01, we can & should remove it again.
ur3e
In #48, we added a
ur3e
symlink to smooth over the transition. Around 2024-05-01, we can & should remove it again.