Re: [PATCH] possible bugfix in ob-java

Wed, 23 Sep 2020 05:28:40 -0700 

Hi John,

Applied as a409e1033 in master.

Thanks a lot!

-- 
 Bastien

Reply via email to