Hi, I've made a mistake while tagging Qserv release: I've applied tag 2014_11.0 to a previous commit. I solved this by tagging master tip with 2014_11.1. Would it be possible to remove tag 2014_11.0 from git? I don't think it will create an error on lsst-dev machine, because this previous commit shouldn't have been used by buildbot. I should try to automate this process as running it only once a month make it error prone. Thanks, Fabrice ######################################################################## Use REPLY-ALL to reply to list To unsubscribe from the QSERV-L list, click the following link: https://listserv.slac.stanford.edu/cgi-bin/wa?SUBED1=QSERV-L&A=1