Opened 4 years ago
Last modified 4 years ago
#61667 closed request
please delete — at Version 3
Reported by: | alex1platon | Owned by: | alex1platon |
---|---|---|---|
Priority: | Not set | Milestone: | |
Component: | ports | Version: | |
Keywords: | Cc: | ||
Port: |
Description (last modified by alex1platon)
please delete
Change History (3)
comment:1 Changed 4 years ago by alex1platon
comment:2 Changed 4 years ago by alex1platon
Owner: | set to alex1platon |
---|---|
Status: | new → assigned |
comment:3 Changed 4 years ago by alex1platon
Description: | modified (diff) |
---|---|
Keywords: | please delete added; mpir big sur removed |
Port: | please delete added; mpir removed |
Priority: | Normal → Not set |
Summary: | mpir fails to build on Big Sur → please delete |
Type: | defect → request |
Note: See
TracTickets for help on using
tickets.
sorry only now did I see #61560 , seems seems to duplicate it. must have been blind when I first searched for open tickets. please delete /merge