patchback[bot] 76626eb7e8 [PR #6937/e427857d backport][stable-7] CI: remove no longer needed ignore (#6939) ...

CI: remove no longer needed ignore (#6937)

Remove no longer needed ignore.

(cherry picked from commit e427857db7)

Co-authored-by: Felix Fontein <felix@fontein.de>

2023-07-15 12:51:31 +02:00

..

extra

[PR #6539/dca7fd45 backport][stable-7] Enable using semantic markup (#6540)

2023-05-29 18:00:40 +02:00

ignore-2.11.txt

[PR #6683/eff0cb0e backport][stable-7] Use semantic markup (modules r-s) (#6707)

2023-06-15 19:05:11 +02:00

ignore-2.11.txt.license

Make reuse conformant (#5138)

2022-08-21 08:27:01 +02:00

ignore-2.12.txt

[PR #6683/eff0cb0e backport][stable-7] Use semantic markup (modules r-s) (#6707)

2023-06-15 19:05:11 +02:00

ignore-2.12.txt.license

Make reuse conformant (#5138)

2022-08-21 08:27:01 +02:00

ignore-2.13.txt

[PR #6766/fd63f583 backport][stable-7] Improve seealso (#6767)

2023-06-22 13:46:25 +02:00

ignore-2.13.txt.license

Make reuse conformant (#5138)

2022-08-21 08:27:01 +02:00

ignore-2.14.txt

[PR #6766/fd63f583 backport][stable-7] Improve seealso (#6767)

2023-06-22 13:46:25 +02:00

ignore-2.14.txt.license

Make reuse conformant (#5138)

2022-08-21 08:27:01 +02:00

ignore-2.15.txt

Prepare main for 7.0.0 (#6428)

2023-04-26 07:32:00 +02:00

ignore-2.15.txt.license

Add stable-2.14 to CI, adjust to devel version bump (#5298)

2022-09-21 07:58:52 +02:00

ignore-2.16.txt

[PR #6937/e427857d backport][stable-7] CI: remove no longer needed ignore (#6939)

2023-07-15 12:51:31 +02:00

ignore-2.16.txt.license

Update CI matrix: add stable-2.15 (#6284)

2023-04-04 08:26:13 +02:00