Revert "Remove the verified label.. doesn't work with jenkins anyway"

This reverts commit 2f01f837b98bd13339c65a3d963c79e2d2983cb7.
1 file changed
tree: 288784abeb790a60965687b62dfb3163a260edae
  1. groups
  2. project.config