Subject: Re: [PATCH v3 0/3] Make big cursors work in programs running on openjdk.
From: Danny Milosavljevic <[email-masked]>
To: [email-masked]
Date: Mon, 18 Apr 2022 13:01:01 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed openjdk big cursors to guix master as these commits:

* Commit f4dd7bf94e1c21e0ecc1ecc1bc0afb9dce403cf5 for openjdk15
* Commit aa01b37ef66fad2cf35f4a4ca85cc8d930d12ce4 for openjdk16
* Commit 237d90a7808cfdced34b34595eba16632cbcb89e for openjdk17