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

Attachment: signature.asc
Description: This is a digitally signed message part.

Reply via email to