Re: [Jrst-devel] Patch anos #1375