v4.2.2

What's Changed

• Remove wrong version number in Makefile.am by @musicinmybrain in #236
• Look for gmp++ headers in src/kernel by @d-torrance in #237
• Avoid to use the specify namespace std by @cxzhong in #240
• Fix formatting of user-defined literal operators in udl.h by @cxzhong in #241

New Contributors

• @cxzhong made their first contribution in #240

Full Changelog: v4.2.1...v4.2.2