tools/checkcerts.py: add paddles.front to list of checked hosts#739

Merged

zmc merged 1 commit intoceph:mainfrom dmick:main

May 11, 2023

+1

Commits on May 11, 2023

tools/checkcerts.py: add paddles.front to list of checked hosts
Dan Mick
committed