Re: Updating extensions

2022-08-21 Thread Pedro Lino
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

Re: Updating extensions

2022-08-21 Thread Matthias Seidel
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 :)

Re: Updating extensions

2022-08-21 Thread 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 :) > But the English dictionary is updated every month, so I thi

Updating extensions

2022-08-21 Thread Matthias Seidel
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