java:jinterface-implementation: multiple interfaces?

Mark Evenson evenson at
Thu Jul 30 17:11:48 UTC 2020

> On Jul 30, 2020, at 14:38, Alessio Stalla <alessiostalla at> wrote:
> @Mark Evenson would a GitHub fork + pull request work for you in case I work on this?

Certainly.  I will add your admin rights as a maintainer forthwith!

"A screaming comes across the sky.  It has happened before but there is nothing 
to compare to it now."

More information about the armedbear-devel mailing list