Skip to content

Conversation

@keshavnangare
Copy link
Contributor

@keshavnangare keshavnangare commented Jun 26, 2019

Fixed #401

This PR also contains #396 and should be merged afterwards.

@dstenger dstenger added this to the 5.5 milestone Aug 20, 2019
@dstenger dstenger removed this from the 5.5 milestone Feb 1, 2022
@dstenger dstenger modified the milestones: 5.5, 6.0 Feb 2, 2022
@dstenger dstenger modified the milestones: 6.0, 6.1 Feb 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: To do

Development

Successfully merging this pull request may close these issues.

Request mandatory information from users already registered

5 participants