Re: Bug in OSD cache management?