Hi Tobias,
I would say that if any patch were obvious, that one is :-) OK.
Thanks
Paul
On Mon, 30 Mar 2020 at 09:16, Tobias Burnus wrote:
> Early *ping*.
>
> Tobias
>
> On 3/27/20 11:06 AM, Tobias Burnus wrote:
>
> > Hi all,
> >
> > here, the reject_statement cleanup and the freeing of the
>
On 3/27/20 11:06 AM, Tobias Burnus wrote:
Hi all,
here, the reject_statement cleanup and the freeing of the
namespace both remove the symbol. Solution: Remove it first,
then clean the namespace – then the reject_statement has no
(deleted) statement to cleanup.
As select rank is new, that's agai
Early *ping*.
Tobias
On 3/27/20 11:06 AM, Tobias Burnus wrote:
Hi all,
here, the reject_statement cleanup and the freeing of the
namespace both remove the symbol. Solution: Remove it first,
then clean the namespace – then the reject_statement has no
(deleted) statement to cleanup.
As select
