release v1.7.3#2141

MatthewDaggitt merged 6 commits into

release-1.7.3-baseagda/agda-stdlib:release-1.7.3-basefrom

release-v1.7.3agda/agda-stdlib:release-v1.7.3Copy head branch name to clipboard