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

Enhance element 6.1 (issue 197) #209

Merged
merged 2 commits into from
Jul 21, 2023
Merged

Enhance element 6.1 (issue 197) #209

merged 2 commits into from
Jul 21, 2023

Conversation

bowni
Copy link
Member

@bowni bowni commented Jul 19, 2023 •
edited
Loading

Fixes issue #197 with:

@bowni bowni added the enhancement New feature or request label Jul 19, 2023
@bowni bowni added this to the Release 2023H1 milestone Jul 19, 2023
@bowni bowni self-assigned this Jul 19, 2023
@bowni bowni marked this pull request as ready for review July 19, 2023 13:37
@bowni bowni linked an issue Jul 19, 2023 that may be closed by this pull request
Enhance element 6.1 #197
Open
@bowni bowni merged commit 081e127 into release-2023H1 Jul 21, 2023
@bowni bowni deleted the issue-197-enhance-element-6.1 branch July 21, 2023 09:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@RomainGoussault RomainGoussault Awaiting requested review from RomainGoussault

@nicolas-landel nicolas-landel Awaiting requested review from nicolas-landel

@HeytemBou HeytemBou Awaiting requested review from HeytemBou

@SaboniAmine SaboniAmine Awaiting requested review from SaboniAmine

@celinejacques celinejacques Awaiting requested review from celinejacques

@ClementMayer ClementMayer Awaiting requested review from ClementMayer

@meuce meuce Awaiting requested review from meuce

Assignees

@bowni bowni

Labels
enhancement New feature or request
Projects
None yet
Milestone
Release 2023H1
Development

Successfully merging this pull request may close these issues.

Enhance element 6.1
1 participant
@bowni