diff options
author | Chris Akritidis <43294513+cakrit@users.noreply.github.com> | 2019-03-04 09:36:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-04 09:36:02 +0100 |
commit | 8a719324519ca9373e935241164b97bef052b168 (patch) | |
tree | c55cfd0c6a89df184fe26ecbbc072bfb7a84a1b8 /Makefile.am | |
parent | eccf0b9ebb7bf4b456ee7b902e699c70dc60ba1c (diff) |
Registry delete should allow deleting the host we are looking at (#5537)
* Remove check on whether a server delete request comes from the same server we are looking at
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions