Rename default `execute_query` bookmark manager getter#898

Closed

fbiville wants to merge 2 commits into5.0from

execute_query_adr_updates

Commits on Feb 14, 2023

Rename default `execute_query` bookmark manager getter
fbiville
committed

Commits on Feb 15, 2023

Fix documentation
fbiville
committed