Set `Hint Mode` for `FinSet`. (!379) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/issue_139 into master 2 years ago

All threads resolved!

This fixes issue #139 (closed).

Activity

Ralf Jung @jung started a thread on the diff 2 years ago

Resolved 2 years ago by Ralf Jung
Last reply by Robbert Krebbers 2 years ago

Ralf Jung resolved all threads 2 years ago

resolved all threads

Ralf Jung @jung · 2 years ago

Owner

Please add a changelog, then LGTM.

Robbert Krebbers added 1 commit 2 years ago

added 1 commit

51d02793 - CHANGELOG.

Compare with previous version

Robbert Krebbers @robbertkrebbers · 2 years ago

Author Owner

Added a changelog entry.

Ralf Jung @jung started a thread on an old version of the diff 2 years ago

Resolved 2 years ago by Ralf Jung

Ralf Jung resolved all threads 2 years ago

resolved all threads

Ralf Jung added 1 commit 2 years ago

added 1 commit

54a2f992 - changelog consistency

Compare with previous version

Ralf Jung enabled an automatic merge when the pipeline for succeeds 2 years ago

enabled an automatic merge when the pipeline for 54a2f992 succeeds

Ralf Jung merged 2 years ago

merged

Ralf Jung mentioned in commit 2 years ago

mentioned in commit 8b17ca72

Please register or sign in to reply