On 1/30/19 12:17 PM, Robbin Ehn wrote: > http://rehn-ws.se.oracle.com/cr_mirror/8218041/v02/inc > http://rehn-ws.se.oracle.com/cr_mirror/8218041/v02/ $ ping rehn-ws.se.oracle.com <It's dead, Jim> -Aleksey