[19:09:26] <ningu>	 is it possible to delete a tool?
[19:19:18] <MacFan4000>	 ningu: https://phabricator.wikimedia.org/project/view/3975/
[19:19:36] <MacFan4000>	 That’s the project for deletion requests
[19:21:50] <ningu>	 aha, thanks!
[19:22:17] <ningu>	 good to know the process
[22:31:07] <Dresden>	 bd808: you up?