Ping? Forgive me if I've overlooked something, but I think I'm still waiting for feedback on the latest version of this patch.
On Tue, 6 Nov 2018 at 19:32, Reuben Thomas <rrt@sc3d.org> wrote:
--On Wed, 31 Oct 2018 at 16:49, Reuben Thomas <rrt@sc3d.org> wrote:On Wed, 31 Oct 2018 at 16:49, Reuben Thomas <rrt@sc3d.org> wrote:Thanks (corrected to "&OFF"; a case where the code lagged behind the comment). Indeed, the online documentation at https://www.riscosopen.org/wiki/documentation/show/OS_Reset has the right hex but the wrong ASCII.I fixed the documentation wiki, BTW, so it's right now!Is there anything else that needs doing?
--
No comments:
Post a Comment