I believe in most cases, a lubricant meeting both GL-4 and GL-5 specifications is suitable for use in a
differential which calls for either, not a manual transmission. This is backed up by Valvoline's PDS for 80W-90 High Performance gear oil -
see the product data sheet.
I would suggest you try to find out what you used, Chuck. Perhaps plan an earlier change out if the lubricant used turns out to not be suitable.