Opened 14 years ago
Closed 14 years ago
#29091 closed update (fixed)
ppl: update to 0.11.2
Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | adfernandes (Andrew Fernandes) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 1.9.2 |
Keywords: | Cc: | ||
Port: | ppl |
Description
Looks like ppl should be updated to 0.11.2.
Change History (2)
comment:1 Changed 14 years ago by adfernandes (Andrew Fernandes)
comment:2 Changed 14 years ago by adfernandes (Andrew Fernandes)
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Committed in r77837. Note that I've updated
glpk
too as per #29133.