On Thu, 19 Oct 2017, Zoltan Somogyi wrote: > For review by Julien, who I am also asking to bootcheck this > in the C# and Java grades. Shall do. > (oracle1 didn't let me do so myself; I got an error about the device > being full.) I've fixed that. Julien.