On 15 September 2017 18:20:33 CEST, Pierre-Marie de Rodat <dero...@adacore.com> wrote: >On 09/15/2017 06:10 PM, Jeff Law wrote: >> OK. >> jeff > >Committed. Thanks!
+ * for result-adjusting thinks, the FIXED_OFFSET adjustment is done after s/think/thunk/ TIA
