cbbc7b
Adjust the format_loc jinja filter to add the delete button With this change user can delete their own comment on a pull-request and admin can delete any comments