Skip to content
Snippets Groups Projects
Commit 9a08389c authored by pini's avatar pini
Browse files

Merge branch 'fix/1438/optimize_sources_by_pubkey' into 'dev' 

[fix] Optimize access to sources by pubkey, using specific index

Closes #1438

See merge request !1420
parents f12d6871 e6611f3c
No related branches found
No related tags found
1 merge request!1420[fix] Optimize access to sources by pubkey, using specific index
Pipeline #31746 passed
Stage: tests
    Stage: package
      Stage: quality
        Stage: integration