Kshitij Parajuli
added a comment - 12/Aug/14 1:36 PM - edited Yes, I tried clearing the opcode caches (and clearing proxies and restarting the server). This was also reproducible in multiple servers (one production and one development).
It is not yet reproducible in isolated environment, but I am looking at it. Will update the ticket if I find easy reproducing steps.