The polls have closed. The following votes were cast:
+1 Rick Hillegas
0 Tilmann Zäschke
In addition, the following vote arrived after the polls closed:
0 Bryan Pendleton
The proposal to retire Derby has been approved by the Derby developer
community.
-------- Forwarded Message --------
Subject: [VOTE] Retire Derby
Date: Mon, 6 Oct 2025 09:10:26 -0700
From: Rick Hillegas <[email protected]>
To: [email protected] <[email protected]>
There being no further discussion of this topic on the developer and
user lists, I call a vote. A simple majority carries this procedural
question.
+1 = Derby should be retired
-1 = Derby should not be retired
The polls close at 5:00 pm San Francisco time on Friday 2025-10-10.
