Hi Matthias
> On 08/21/2022 6:25 PM WEST Matthias Seidel wrote:
> That's what I meant by reducing (the manual work). ;-)
> >
:) +1
> I am not sure if an update feed for Danish exists, since the dictionary
> was set up new at some point. [1]
>
> Can you have a look, please?
It is working corr
Hi Pedro,
Am 21.08.22 um 19:13 schrieb Pedro Lino:
> Hi Matthias
>
>> On 08/21/2022 5:11 PM WEST Matthias Seidel
>> wrote:
>
>> Normally, the update feed should be adjusted as soon as an extension
>> gets a newer version.
> That would be the ideal situation if it was operating automatically :)
Hi Matthias
> On 08/21/2022 5:11 PM WEST Matthias Seidel wrote:
> Normally, the update feed should be adjusted as soon as an extension
> gets a newer version.
That would be the ideal situation if it was operating automatically :)
> But the English dictionary is updated every month, so I thi
Hi all,
I know we had a discussion somewhere about the frequency of extension
updates, but I am unable to find it right now...
Normally, the update feed should be adjusted as soon as an extension
gets a newer version.
But the English dictionary is updated every month, so I think we should
reduce