Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Replace all calls to SetFeatureObj, mark it as obsolete #2919

Merged
merged 1 commit into from
Oct 30, 2018

Conversation

fingolfin
Copy link
Member

Various packages still use it, and most likely also code that people keep
around locally, so we cannot and should not remove it for the foreseeable
future. But at least new code should not use it.

@fingolfin fingolfin added topic: library release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes labels Oct 15, 2018
Various packages still use it, and most likely also code that people keep
around locally, so we cannot and should not remove it for the foreseeable
future. But at least new code should not use it.
@codecov
Copy link

codecov bot commented Oct 25, 2018

Codecov Report

Merging #2919 into master will increase coverage by 0.94%.
The diff coverage is 63.15%.

@@            Coverage Diff             @@
##           master    #2919      +/-   ##
==========================================
+ Coverage   82.82%   83.76%   +0.94%     
==========================================
  Files         678      681       +3     
  Lines      342034   346596    +4562     
==========================================
+ Hits       283275   290332    +7057     
+ Misses      58759    56264    -2495
Impacted Files Coverage Δ
lib/coll.gd 94.42% <0%> (-0.94%) ⬇️
lib/rwspccoc.gi 72.1% <100%> (ø) ⬆️
lib/pquot.gi 83.92% <100%> (ø) ⬆️
lib/rwspcclt.gi 68.65% <100%> (+0.74%) ⬆️
src/hpc/c_type1.c 84.94% <100%> (-0.4%) ⬇️
src/c_type1.c 84.73% <100%> (-0.94%) ⬇️
lib/obsolete.gi 19.78% <20%> (+0.29%) ⬆️
lib/rwsdt.gi 78.67% <33.33%> (ø) ⬆️
lib/rwspcsng.gi 89.61% <83.33%> (ø) ⬆️
lib/norad.gi 45.08% <0%> (-15.01%) ⬇️
... and 226 more

@fingolfin
Copy link
Member Author

This is a rather trivial PR, it would be great if somebody could review it...

Copy link
Contributor

@stevelinton stevelinton left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@fingolfin fingolfin merged commit 641586f into gap-system:master Oct 30, 2018
@fingolfin fingolfin deleted the mh/SetFeatureObj branch October 30, 2018 15:32
@fingolfin fingolfin added release notes: added PRs introducing changes that have since been mentioned in the release notes and removed release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes labels Apr 15, 2019
@olexandr-konovalov olexandr-konovalov added this to the GAP 4.11.0 milestone Feb 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release notes: added PRs introducing changes that have since been mentioned in the release notes topic: library
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants