z3-4.9.1

4.9.1 release

Changes:

• 6ed071b update release notes
• 0d41695 fix js distributable (#6139)
• cc841ca increment minor version for dev branch

This list of changes was auto generated.