editors/slime: update to 2.13 and convert to USE_GITHUB [1]
PR: 198595
Submitted by: cheunghonyu@gmail.com
Approved by: joe@thrallingpenguin.com (maintainer)
Approved by: portmgr blanket [1]
Description
Description
Details
Details
- Provenance
jbeich Authored on - Parents
- rP384959: Update to 3.1.4-70-gea2537e
- Branches
- Unknown
- Tags