12 Feb
2016
12 Feb
'16
08:10
On Fri, 2016-02-12 at 14:52 +0800, Marguerite Su wrote:
On Thu, Feb 11, 2016 at 5:42 PM, Dominique Leuenberger / DimStar
There seems to be no fix, also not in Mono:Factory.
Well we don't need to fix this anymore.
I had the feeling that it had already been fixed because I fixed gnome-desktop-sharp2 a month ago, which contains gtksourceview2- sharp.
According to https://github.com/mono/gtksourceview2-sharp, gtksourceview-sharp2 had been merged into gnome-desktop-sharp2 in 2009.
A valid fix in this case is a delete request coming from a maintainer. If it's not needed/maintained, it has to be removed. Dominique -- To unsubscribe, e-mail: opensuse-factory+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-factory+owner@opensuse.org