Signed-off-by: Akashdeep Dhar akashdeep.dhar@gmail.com
Fixes #972
This PR is an empty PR. There are no commits and we did get the election badges pushed in another PR. So, I am closing this as a duplicate.
Pull-Request has been closed by jflory7
Signed-off-by: Akashdeep Dhar akashdeep.dhar@gmail.com
Fixes #972