| Attachment #135556 | |||||
|---|---|---|---|---|---|
| Error out on save if file has changed since we opened it | patch | 2017-11-17 13:45:48 UTC | 2.80 KB | no flags | Details |
| Attachment #135735 | |||||
|---|---|---|---|---|---|
| win version for Error out on save if file has changed since we opened it | patch | 2017-11-27 11:09:49 UTC | 1.40 KB | no flags | Details |
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.