|
From: | Jacob Bachmeyer |
Subject: | Re: patches done |
Date: | Mon, 25 May 2020 23:21:28 -0500 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0 |
Rob Savoye wrote:
I finished all the patches Jacob added to our savannah patch tracker. I did validate the ones that effected target configuration with my minimal cross testing setup, but would appreciate somebody with a more complex environment could give current 'master' a sanity check. I don't think any of the bugs on debbugs.gnu.org are that important, but I'll see if any should be addressed.
With that done, and the bugfixes in place for the next release, I have two documentation patches to put in before the next release. (I had to wait until the bugfixes were merged because the documentation mentions them.) They have been submitted to Savannah as patch #9941.
-- Jacob
[Prev in Thread] | Current Thread | [Next in Thread] |