1 Commits

Include renames

Author	SHA1	Message	Date
admin	b01bb4b88d	Review round 2: a media restart no longer starts an app the household stopped (R-721); the file manager's header name file appears whole (R-1100 race, 44/300 -> 0/300); both red-proved; unreleased	2026-10-24 15:26:56 +02:00