+1 On 10/6/25 9:10 AM, Rick Hillegas wrote:
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.
