[PATCH 3/4] Remove remaining uses of deprecated_throw_reason.

[Pedro Alves]

On 07/30/2013 05:12 PM, Andrew Burgess wrote:
> This removes the final uses of deprecated_throw_reason.  In each case I've
> replaced the use of deprecated_throw_reason with a call to quit.  The only
> change this will have is that the user will now see a "Quit" message,
> however this seems pretty appropriate to me, what do you think?
> 
> OK to apply?

OK.


-- 
Pedro Alves