Re: [sr-dev] debian problem with todays sr_3.0 branch