gir versioning

2013-03-01 Thread Emilio Pozuelo Monfort
Hi, I'm running G3.6, and have updated gnome-desktop to 3.7.90 to test it. After that, gnome-shell doesn't start anymore, crashing in libgnome-desktop: [ 2085.503935] gnome-shell[9772]: segfault at 4 ip eb0eb4b1 sp ffc86bf0 error 6 in libgnome-desktop-3.so.7.0.0[eb0cb000+32000]

Re: gir versioning

2013-03-01 Thread Cosimo Cecchi
On Fri, Mar 1, 2013 at 4:17 PM, Emilio Pozuelo Monfort poch...@gmail.comwrote: I wonder if there's a way to avoid this. Perhaps we could bump the version of the gir whenever the SONAME changes, so that we would have e.g. GnomeDesktop-3.0.typelib for G3.6, but GnomeDesktop-3.8.typelib for