Thijs Schreijer dbdd9d9ab8 release 7.1.0
Updates the dev rockspec to pin to a tag, such that new rockspecs
generated from it will not point to `master` but to the version
tag.
2023-10-30 15:56:22 +01:00
..
2023-10-07 00:41:15 +02:00
2023-10-30 15:56:22 +01:00