Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

S

stdpp
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Service Desk

Snippets Groups Projects

!258

make Qc_of_Z not a Coercion any more

Review changes
Download
Patches
Plain diff

Merged make Qc_of_Z not a Coercion any more

ralf/Qc_of_Z into master

Overview 3
Commits 2
Pipelines 0
Changes 2

Merged Ralf Jung requested to merge ralf/Qc_of_Z into master 4 years ago

Overview 3
Commits 2
Pipelines 0
Changes 2

This implements #102 for Qc_of_Z -- Qc is not a widely used type (any more) so I think the fallout from this should be quite limited.

Merge request reports

Activity

Filter activity

Approvals
Assignees & reviewers
Comments (from bots)
Comments (from users)
Commits & branches
Edits
Labels
Lock status
Mentions
Merge request status
Tracking

Please register or sign in to reply

0 Assignees

0 Reviewers

Request review from

Loading

Labels

0

None

0

None

Select labels

Manage project labels

Milestone

None

None

None

Time tracking

No estimate or time spent

0

0 Participants

Loading