On Thursday, 29 June 2017 at 01:44:10 UTC, Walter Bright wrote: > On 6/27/2017 12:51 AM, Dsby wrote: >> what about DIP1000? Is it default? > > No. When will it be default? 2.076 or 2.077?