From 1cc6940c42c52ba9652e3f8f049f6671de6d89a7 Mon Sep 17 00:00:00 2001
From: mitchell <70453897+667e-11@users.noreply.github.com>
Date: Thu, 10 Dec 2015 09:29:36 -0500
Subject: Do not visit buffers that do not need saving in
 `io.save_all_files()`. This speeds up `io.save_all_files()`, particularly on
 remote filesystems. Thanks to Ivan Baidakou.

---
 THANKS.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'THANKS.md')

diff --git a/THANKS.md b/THANKS.md
index 4c091473..110c4a29 100644
--- a/THANKS.md
+++ b/THANKS.md
@@ -35,6 +35,7 @@ private contract work related to Textadept.
 * Daniel Wutke
 * Gilles Grégoire
 * Giovanni Salmeri
+* Ivan Baidakou
 * Jay Gould
 * Jeff Stone
 * John Benediktsson
-- 
cgit v1.2.3