Susan Cragin wrote: > Could this have anything to do with this issue? Valgrind errors fixed today, per developer list? Doubt. Those errors were fixed yesterday. And introduced a day before. The code that saves / restores notepad settings haven't changed in some time. Might be just one of those unreproducible problems.
