depot_query: segmentation in _query_blueprint?

[Christian Helmuth]

Hi,

On Mon, Apr 13, 2020 at 20:09:52 CEST, Roman Iten wrote:
> I'm quite confident that I finally found the problem. I created an issue
> [1] and pushed a commit as an illustration of a possible fix.
> 
> [1] https://github.com/genodelabs/genode/issues/3729

That's great! For further discussion I'll comment on GitHub.

Many thanks for your efforts!
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth