Re: [armedbear-ticket] [armedbear] #123: REGISTER-JAVA-EXCEPTION failing

#123: REGISTER-JAVA-EXCEPTION failing -------------------------+-------------------------------------------------- Reporter: ehuelsmann | Owner: nobody Type: defect | Status: closed Priority: major | Milestone: Component: java | Version: Resolution: fixed | Keywords: -------------------------+-------------------------------------------------- Changes (by mevenson):

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

Comment:

Fixed in r13211 by Alessio as reported in <AANLkTikXn_E_D4RXKN- pNd+EWeyAWKNsV-5=eh=7sQn7@mail.gmail.com>