Skip to content
GitLab
Explore
Sign in
Resolve "Rename `ping` RPC to `ADM_ping`"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alberto Miranda
requested to merge
18-rename-ping-rpc-to-adm_ping
into
main
Jun 30, 2022
Overview
0
Commits
1
Pipelines
2
Changes
13
Expand
Closes
#18 (closed)
Edited
Jun 30, 2022
by
Alberto Miranda
Merge request reports