Tracker »

Issue 1429 – Failure when reloading edited file while it's being reloaded already

: GUI
: Unspecified
: Bug
: Medium
: 0
: RESOLVED
: FIXED
: 5.8.4
Probably caused by Issue 1237.
Emails with Joan Ramón Tur Feijóo in May 2016.