On Thu, Jan 22, 2026 at 12:37:42PM +0800, Xuneng Zhou wrote:
> So the view returns no row rather than a row with status = 'stopped'.
> But for completeness, maybe we should add it.
Yeah, you are making me doubt here, "stopped" is the only state that
would never show up. After pondering a bit on this one, I have
removed this part, and applied the rest of 0001 on HEAD after some
reordering of the items and fixing a <para> markup which was at an
incorrect location. That's one.
--
Michael