GAP.jl 0.7.2 released

Today GAP.jl 0.7.2 has been released.

Diff since v0.7.1

Closed issues:

• Better gap.sh support (#611)
• Make a JLL for JuliaInterface?! (#619)
• Tweak ImportJuliaModuleIntoGAP: take Julia module object as argument (#687)
• Teach Julia how to get bound names in GAP records so that Tab completion works (#752)
• GAP_jll.MPtr is still visible (#756)

Merged pull requests:

• Optimize use of locks in calling out to GAP. (#483) (@rbehrends)
• Use GAP_pkg_juliainterface_jll (#742) (@fingolfin)
• Turn some gap_to_julia methods into constructors (#745) (@fingolfin)
• OscarCI: add OscarDevTools based workflow to run Oscar tests (#746) (@benlorenz)
• Fix GAP_CXX handling (#748) (@fingolfin)
• JuliaInterface: don’t use GAP_SYNC macros before InitGapSync (#749) (@fingolfin)
• When selecting compilers, try cc/c++ first (#751) (@fingolfin)
• Move GAP.Globals code to separate source file (#753) (@fingolfin)
• Better tab complection (#754) (@fingolfin)
• Detect if there is an exception while exiting (#755) (@fingolfin)
• Hack the typename of GAP.GapObj (#757) (@fingolfin)
• Add note on how to update GAP_pkg_juliainterface_jll (#759) (@fingolfin)