task_24282 #8

Merged

francesco.mangiacrapa merged 3 commits from task_24282 into master

francesco.mangiacrapa commented

Owner

releasing minor fixes (see #24282)

releasing minor fixes (see #24282)

francesco.mangiacrapa added 3 commits

bd88048989 #24281 Fixed filtering selection label

1992d2227a only indentation

f053195d92 #24049 Fixed "Show on Map" changing its behaviour

francesco.mangiacrapa merged commit 7e81f7a347 into master 1 year ago

francesco.mangiacrapa referenced this issue from a commit

Merge pull request 'task_24282' (!8) from task_24282 into master

The pull request has been merged as 7e81f7a347.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b task_24282 master

git pull origin task_24282

Step 2:

Merge the changes and update on Gitea.

git checkout master

git merge --no-ff task_24282

git push origin master

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.