Maybe, but default masculine was way more common. That was still taught as proper usage in the 80s here in the US. He/she was its most common replacement until fairly recently.