octave-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #59275] delete.m: permission denied warning do


From: John W. Eaton
Subject: [Octave-bug-tracker] [bug #59275] delete.m: permission denied warning does not have an id
Date: Thu, 15 Oct 2020 12:47:17 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Firefox/68.0

Follow-up Comment #2, bug #59275 (project octave):

It might be generally good for all warnings to have IDs so they can be
selectively handled as errors.  But for me that's a low priority wish list
thing.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?59275>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]