{"shas":[["b078f6b73637e0d644915e13a58894ef61524efc","bfcdf3e6ca6cef45543bfbb57509c92aec9a39fb@boostpro.com","Use write-file-functions instead of advising save-buffer, per\nexcellent suggestion from Ethan Glasser-Camp.\n\nFixes #5","Dave Abrahams"]],"ref":"refs/heads/master","size":1,"head":"b078f6b73637e0d644915e13a58894ef61524efc","push_id":33916027}