• rice_nine
    link
    fedilink
    46 months ago

    I believe it’s an open ended wrench, one end is 12mm the other is 13mm.