I think going forward in cases like these responding to the "harasser" with a formal warning to stop while also responding to the "target" with something like -we've received your report and have approached the source of the harassment with a warning bla bla bla here are some steps you can take to distance yourself from them and let us know if they continue to seek you out