A short history of gin