Why it's time for the tech industry to take gender diversity seriously

The tech industry is still doing too little to make gender diversity a priority. That needs to change, says Booking.com.