KDE Gear 22.12.3 packages available for packagers

[Justin]

On 1/3/23 01:34, Heiko Becker wrote:
> On Tuesday, 28 February 2023 14:23:42 CET, Antonio Rojas wrote:
>>  partitionmanager doesn't build:
>>
>> index.docbook:38: element xref: validity error : IDREF attribute 
>> linkend references an unknown ID "menu-settings-help"
>> kf.doctools.core: Error: `xmllint --noout` outputted text
>> make[2]: *** 
>> [CMakeFiles/po-pt-BR-docs-partitionmanager-index-cache-bz2.dir/build.make:84: 
>> po/pt_BR/docs/partitionmanager/index.cache.bz2] Error 1
>> make[1]: *** [CMakeFiles/Makefile2:911: 
>> CMakeFiles/po-pt-BR-docs-partitionmanager-index-cache-bz2.dir/all] 
>> Error 2
>> make[1]: *** Waiting for unfinished jobs....
>
> A bit unfortunate that CI couldn't really catch this. Anyway, seems 
> the offending docbook has already been removed: 
> https://websvn.kde.org/?view=revision&revision=1645616
>
> I'll respin the tarball when the changes are synced to git, which will 
> happen tonight, I guess.

Is it due to limited CI resources that translation commits aren't pushed 
through CI? I did do a CI run of Partition Manager to ensure it wasn't 
just on my device that it was failing but it might have been after CI 
was checked for 22.12.3 release.