unix port missing utime.mktime() #4576
Description
It looks like the unix port has utime.mktime() missing
I was trying to make a script running both on micropython/regular python via the usual hack:
try:
import utime as time
except:
import time
but since mktime is not in utime (as the documentation suggests), that fails.