Update to 15.3.0 #1
Owner
```
❯ git subtree pull --prefix=mark mark v15.3.0 --squash
❯ sed -i 's/15.2.0/15.3.0/g' *spec
❯ osc service runall go_modules
❯ tar -xf vendor.tar.gz && rm vendor.tar.gz
❯ osc vc
❯ git-obs -G obs meta set --project=home:eroca:git
❯ osc build
❯ git add .
❯ git commit -m "Update to 15.3.0"
❯ git push
❯ tea pr create --title "Update to 15.3.0" --head=update-15.3.0 --base=main --repo eroca/mark-sha1
```
eroca
added 2 commits 2026-02-04 16:36:59 +01:00
Merge pull request 'Update to 15.3.0' (#1) from update-15.3.0 into main
Reference in New Issue
Block a user
Delete Branch "update-15.3.0"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?