Exporter: disable the translation of UserTy
for now
#541
The logs for this run have expired and are no longer available.
Loading
UserTy
for now
#541