chiark / gitweb /
_check_divert_core: Minor comment reformatting