On 21/11/2017 04:33, Mark Andrews via RT wrote:

> Looks good to go.

I've pushed some further changes back.

Your new 'digexit()' function is still required under iOS, because
fatal() is still used in some places.

Also, we ended up with TARGET_IPHONE_OS instead of TARGET_OS_IPHONE in
places.

Ray