David Cole wrote: > All set. One more force-push after cleaning up a commit on Brad's > recommendation and .... it is now finally merged to 'next'. > > Whew. > Great! Thanks for all yor work on getting this through the last mile (or was it more? :)). Thanks, Steve.