[Octave-bug-tracker] [bug #63699] Editor: Constantly asked to reload file when it has not been modified externally

[Markus Mützel]

Update of bug #63699 (project octave):

                  Status:               Need Info => Fixed                  
             Open/Closed:                    Open => Closed                 
           Fixed Release:                    None => 8.1.0 (current stable) 

    _______________________________________________________

Follow-up Comment #4:

Perfect.

I'm going to close this as fixed even without knowing which changeset did it.



    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?63699>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/