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.

Sign up for GitHub

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

Jump to bottom

Add a MatElm method for matrices with memory #3552

Merged
merged 1 commit into from
Jul 12, 2019
Merged

Add a MatElm method for matrices with memory #3552

merged 1 commit into from
Jul 12, 2019

Conversation

fingolfin
Copy link
Member

I just stumbled over this by accident while preparing PR #3551. I think this change might be beneficial to recog, if only in a tiny, tiny way.

@fingolfin fingolfin added kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements topic: library release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Jul 11, 2019
@fingolfin fingolfin added this to In progress in MatrixObj via automation Jul 11, 2019
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.0001%) to 84.3% when pulling dd779ed on fingolfin:mh/memory-MatElm into 507da64 on gap-system:master.

@fingolfin fingolfin merged commit 6b8f834 into gap-system:master Jul 12, 2019
MatrixObj automation moved this from In progress to Done Jul 12, 2019
@fingolfin fingolfin deleted the mh/memory-MatElm branch July 12, 2019 12:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wilfwilson wilfwilson wilfwilson approved these changes

@ssiccha ssiccha Awaiting requested review from ssiccha

@PaulaHaehndel PaulaHaehndel Awaiting requested review from PaulaHaehndel

@DominikBernhardt DominikBernhardt Awaiting requested review from DominikBernhardt

Assignees
No one assigned
Labels
kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: library
Projects
MatrixObj
  
Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@fingolfin @coveralls @wilfwilson