devel/gitui: Update 0.12.0 -> 0.13.0
Reported by: portscout
Description
Description
Details
Details
- Provenance
yuri Authored on - Parents
- rP568590: math/lean: Update 3.27.0 -> 3.28.0
- Branches
- Unknown
- Tags
devel/gitui: Update 0.12.0 -> 0.13.0 Tags None Referenced Files None Subscribers None |