fix: [rallly] add version_gt #37

Closed
bgallet wants to merge 15 commits from bgallet/0k-charms:rallly into master
Collaborator
There is no content yet.
bgallet added 1 commit 10 months ago
Owner

Thanks, I'll take the time actually to commit this function to my general library (it's actually working on my side, because I'm using a uncommitted version of the shell library). My bad to have forgotten to commit this in the general library.

Thanks, I'll take the time actually to commit this function to my general library (it's actually working on my side, because I'm using a uncommitted version of the shell library). My bad to have forgotten to commit this in the general library.
Poster
Collaborator

Okay nice, understood.
Could you close the PR when done so I’ll be warned ? : in the meantime i’m on a divergent branch

Okay nice, understood. Could you close the PR when done so I’ll be warned ? : in the meantime i’m on a divergent branch
Owner

Pushed as-is, I'll do my changes later. Many Thanks !

Pushed as-is, I'll do my changes later. Many Thanks !
vlab closed this pull request 9 months ago
Please reopen this pull request to perform a merge.
Sign in to join this conversation.
No reviewers
No Milestone
No Assignees
2 Participants
Notifications
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Loading…
There is no content yet.