Commit b7cef8cb1dfaf1f0f2c0d79b96b171049b69466a

Ebrahim Byagowi 2018-10-19T09:24:21

Enable valgrind and dedicate a bot to it