Hello, I am looking at the tags v2.1.1 and v2.1.2 on your main git repository listed here: http://git.haproxy.org/?p=haproxy-2.1.git and don't think they have been synchronized to your github repository here: https://github.com/haproxy/haproxy/
Is there an automatic sychronization process that has failed and needs to be restarted? Perhaps they need to be pushed manually? Thank you, Chris
