Re: [armedbear-ticket] [armedbear] #307: errors related to package-local nicknames should be continuable

#307: errors related to package-local nicknames should be continuable ------------------------+--------------------------------------------------- Reporter: rschlatte | Owner: rschlatte Type: defect | Status: closed Priority: minor | Milestone: Component: other | Version: Resolution: fixed | Keywords: ------------------------+--------------------------------------------------- Changes (by rschlatte):

* status: assigned => closed * resolution: => fixed

Comment:

(In [14431]) Make add-package-local-nicknames errors continuable

- partly fixes #307