On Wed, Mar 1, 2017 at 3:08 PM, Reuti <re...@staff.uni-marburg.de> wrote:
> I would say not closed, as it's still happening in 4.4.12. And if it's 
> closed, it should be reopened.

Are you using the same example? I can reproduce Geoff's original test
case with 4.3 but not with 4.4..

Reply via email to