Skip to content

fix itv_closed_ends#1838

Merged
affeldt-aist merged 3 commits intomath-comp:masterfrom
t6s:real_itv_open_ends
Feb 5, 2026
Merged

fix itv_closed_ends#1838
affeldt-aist merged 3 commits intomath-comp:masterfrom
t6s:real_itv_open_ends

Conversation

@t6s
Copy link
Member

@t6s t6s commented Feb 5, 2026

Motivation for this change

set_interval.itv_closed_ends is wrongly defined. This PR fixes it.

Checklist
  • added corresponding entries in CHANGELOG_UNRELEASED.md
  • added corresponding documentation in the headers

Reference: How to document

Merge policy

As a rule of thumb:

  • PRs with several commits that make sense individually and that
    all compile are preferentially merged into master.
  • PRs with disorganized commits are very likely to be squash-rebased.
Reminder to reviewers

@t6s t6s requested a review from affeldt-aist February 5, 2026 07:23
@affeldt-aist
Copy link
Member

It might be good to indicate in the changelog that the definition has changed following a bug fix.

@t6s
Copy link
Member Author

t6s commented Feb 5, 2026

It might be good to indicate in the changelog that the definition has changed following a bug fix.

added

@affeldt-aist affeldt-aist added this to the 1.16.0 milestone Feb 5, 2026
@affeldt-aist affeldt-aist added the "bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug" label Feb 5, 2026
@affeldt-aist affeldt-aist requested review from affeldt-aist and removed request for affeldt-aist February 5, 2026 07:48
@affeldt-aist affeldt-aist merged commit 55a1512 into math-comp:master Feb 5, 2026
48 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

"bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug"

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants