Re: [anjuta-list] [anjuta-devel] Problem starting Anjuta

[Igor Korot <ikorot01 gmail com>]

Jens,

On Tue, Aug 15, 2017 at 6:00 AM, Jens Mühlenhoff <j muehlenhoff gmx de> wrote:
> Hello Igor,
>
> Am 15.08.2017 um 00:08 schrieb Igor Korot:
> > Jens,
> >
> > Nevertheless I believe that the plugin should be fixed.
> > If the software is crashing it is a very serious bug.
>
> well then let us report it as a bug, shall we not? :)
>
> https://bugzilla.gnome.org/show_bug.cgi?id=786309
>
> Feel free to add any additional information.

Thank you.
I was actually thought that this is Anjuta problem. ;-)

But it looks like this plugin is a "3rd party" software.

> > Thank you.
>
>
> --
> Mit freundlichen Grüßen
> Jens Mühlenhoff
>
>
> _______________________________________________
> anjuta-list mailing list
> anjuta-list gnome org
> https://mail.gnome.org/mailman/listinfo/anjuta-list