sergio Tue, 23 Apr 2019 14:51:38 -0700
Looks like it should be closed as I can't reproduce it more. -- sergio.
