Merge remote-tracking branch 'origin/stable' into dev
Frederik Gladhorn
authored
Change-Id: Iafbd5b538ebe0254d5fcea0fad0e58f8b66c1084
0a575c4b
Select Git revision
- Branches 20
- 6.2
- 6.2.1
- 6.2.2
- 5.12
- 5.12.12
- dev default
- 6.2.0
- 5.12.11
- 5.15
- 5.15.2
- 5.12.10
- 5.15.1
- 5.12.9
- 5.15.0
- 5.14
- 5.12.8
- 5.14.2
- 5.13
- 5.12.7
- 5.14.1
- Tags 20
- v5.15.0-alpha1
- v5.12.7
- v5.14.1
- v5.9.9
- v5.14.0
- v5.14.0-rc2
- v5.14.0-rc1
- v5.12.6
- v5.14.0-beta3
- v5.13.2
- v5.14.0-beta2
- v5.14.0-beta1
- v5.14.0-alpha1
- v5.12.5
- v5.13.1
- v5.13.0
- v5.13.0-rc3
- v5.12.4
- v5.13.0-rc2
- v5.13.0-rc1
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| xmlpatterns | ||
| xmlpatternsvalidator | ||
| tools.pro | ||