Now that the reverse-offload patch is (nearly) in:

On 07.12.22 09:08, Tobias Burnus wrote:

> On 06.12.22 08:45, Tobias Burnus wrote:
>> * As follow-up,  libgomp.texi must be updated

Slight update to that uncommitted patch: I extended the nvptx entry to
state that only one reverse-offload region runs at a given time.

OK?

Tobias
-----------------
Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955