Skip to content
GitLab
Explore
Sign in
Commit
7ea41519
authored
Jun 30, 2022
by
Alberto Miranda
♨
Browse files
Merge branch '18-rename-ping-rpc-to-adm_ping' into 'main'
Resolve "Rename `ping` RPC to `ADM_ping`" Closes
#18
See merge request
!11
parents
d8c71f77
70df104b
Pipeline
#2814
passed with stages
in 1 minute and 24 seconds
Changes
13
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Preview
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment