Skip to content
Snippets Groups Projects
Commit d36ce92a authored by Simon Praetorius's avatar Simon Praetorius
Browse files

Fix a naming bug in RemoteIndex

parent e0c02554
Branches
Tags
1 merge request!1379Fix a naming bug in RemoteIndex
Pipeline #70793 passed
Stage: .pre
Stage: test
Stage: code_quality
Stage: downstream
Pipeline: Dune Nightly Test

#70869

    Hide whitespace changes
    Inline Side-by-side
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Please register or to comment