Yep, sounds the same.

Boris.

On Sat, Jun 27, 2015 at 12:37 AM, Kaushal <kaushal.modi@gmail.com> wrote:

> Could this be related to this debbugs:
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=19310 ?
>
>
> --
> Kaushal Modi
>