schroda 3a1e0c5a63 Remove extension obsolete flag when updating db after extension list fetch (#807) ...

In case an extension got marked as obsolete and was found again in a set repo, the obsolete flag has to be removed

2024-01-09 19:40:16 -05:00

..

src

Remove extension obsolete flag when updating db after extension list fetch (#807)

2024-01-09 19:40:16 -05:00

build.gradle.kts

Rename the project (#795)

2024-01-05 14:12:35 -05:00