Re: [BCEL] https://github.com/apache/commons-bcel/pull/177

2023-04-10 Thread Gary Gregory 
I meant Mark Roberts, sorry.

Gary

On Mon, Apr 10, 2023, 07:40 Mark Thomas  wrote:

> Looks plausible to me (or did you mean a different Mark?).
>
> Mark
>
>
> On 10/04/2023 15:13, Gary D. Gregory wrote:
> > Mark and all,
> >
> > Any thoughts on https://github.com/apache/commons-bcel/pull/177 ?
> >
> > Gary
> >
> > -
> > To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org
> > For additional commands, e-mail: dev-h...@commons.apache.org
> >
>
> -
> To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org
> For additional commands, e-mail: dev-h...@commons.apache.org
>
>

Re: [BCEL] https://github.com/apache/commons-bcel/pull/177

2023-04-10 Thread Mark Thomas 

Looks plausible to me (or did you mean a different Mark?).

Mark


On 10/04/2023 15:13, Gary D. Gregory wrote:

Mark and all,

Any thoughts on https://github.com/apache/commons-bcel/pull/177 ?

Gary

-
To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org
For additional commands, e-mail: dev-h...@commons.apache.org



-
To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org
For additional commands, e-mail: dev-h...@commons.apache.org

[BCEL] https://github.com/apache/commons-bcel/pull/177

2023-04-10 Thread Gary D. Gregory 
Mark and all,

Any thoughts on https://github.com/apache/commons-bcel/pull/177 ?

Gary

-
To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org
For additional commands, e-mail: dev-h...@commons.apache.org