jls-jvm-spec mail list

[David Holmes]

Sorry - missed that Alex already responded to this.

David

On 11/06/2022 11:21 pm, David Holmes wrote:
> Hi Robbe,
> 
> On 11/06/2022 1:21 am, Robbe Pincket wrote:
>> Hi everyone
>>
>> I sent an email to the jls and jvm specifications “drop box” mail 
>> list, but I haven’t gotten any indication it got received or read by 
>> anybody. Does anyone here know if that list is being read, or if I’m 
>> supposed to send my email to a different list?
> 
> You won't get any indication that it has been read, nor get any response 
> - that is why it is a "drop box" mailing list. Rest assured it is being 
> monitored. You can see your mail was posted here:
> 
> https://mail.openjdk.java.net/pipermail/jls-jvms-spec-comments/2022-May/thread.html 
> 
> 
> Cheers,
> David
> 
>> Greetings
>> Robbe Pincket