I am making an update and to speed things up I made overrides
for f19 and f20, but for f21 I get
Could not determine release for coin-or-Ipopt-3.11.8-1.fc21 with tags ['f21']
Probably this is just a ping to update infrastructure :-)
(updated coin-or-Ipopt is required for just approved coin-or-Bonmin
package)
Thanks,
Paulo