Port Moves |
- port deleted on 2024-06-12
REASON: No consumers in ports
|
Number of commits found: 2
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
0.11.0 13 Jun 2024 00:28:03 |
Jan Beich (jbeich) |
lang/zig011: remove port after 8819825cd882
PR: 278570 |
0.11.0 20 May 2024 14:42:37 |
Jan Beich (jbeich) |
lang/zig: fork 0.11 into a pinned port
Some consumers are ready for 0.12 syntax but many are not.
PR: 278570
Approved by: portmgr blanket |
Number of commits found: 2
|