Skip to content

Provide pid information via ext-foreign-toplevel

Guido Günther requested to merge guidog/phoc:pid into main

This helps !588 and phosh!1372

Draft as this is on top of !636 (merged)

/cc @arun-mani-j please have a look (but it's fine to wait until !636 (merged) landed)

Edited by Guido Günther

Merge request reports