Re: [PATCH 1/2] Fix issues with gdb-memory-map.dtd

Joel Brobecker
2017-11-24T22:23:45Z

> So yes, you can updated the file online now. Thanks a lot!

Sure thing. Done!

--
Joel