|
From: | Markus Mützel |
Subject: | [Octave-bug-tracker] [bug #59275] delete.m: permission denied warning does not have an id |
Date: | Fri, 16 Oct 2020 03:04:04 -0400 (EDT) |
User-agent: | Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/86.0.4240.75 Safari/537.36 Edg/86.0.622.38 |
Update of bug #59275 (project octave): Item Group: Incorrect Result => Feature Request Status: Ready For Test => Fixed Open/Closed: Open => Closed Release: 6.0.90 => dev Operating System: Microsoft Windows => Any _______________________________________________________ Follow-up Comment #5: I also agree that adding ids to all warnings and errors is a very time consuming task (without exceedingly high merit). Maybe we could add those on a "per-request" basis (like in this report). Hg patches are also welcome if someone feels motivated to undertake that task. Closing this report as fixed. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?59275> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |