Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!1054
Remove the `*` specialization pattern.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robbert Krebbers
requested to merge
robbert/remove_star_spec_pattern
into
master
Jun 16, 2024
Overview
4
Commits
1
Pipelines
2
Changes
3
Expand
This pattern has been deprecated and a no-op since 2017. See
!41 (merged)
.
Merge request reports