move code from Oscar.jl/experimental/GModule/Misc.jl here
#4533
The logs for this run have expired and are no longer available.
Loading
Oscar.jl/experimental/GModule/Misc.jl here
#4533