On Sunday, 23 October 2016 19:47:13 René Ladan wrote: > Hi, Hi
> the devel/monodevelop port expired over half a year ago and is now > broken for more than a year. There are still two PRs against it (194915 > and 202067) so I didn't delete the port. Is there any intention to work > on these PRs? Thanks, good catch. Yes, we'll be updating monodevelop in the coming days. We are updating mono (see PR 213484) and related ports. Monodevelop will fall under this effort. Regards
signature.asc
Description: This is a digitally signed message part.