Fish 3.7.1

This release of fish fixes the following problems identified in fish 3.7.0: Deleting the last history entry via history delete works again (#10190). Wildcards (*) will no longer sometimes generate...