tag 690210 - pending thanks On 4/20/18 12:16 AM, Raphael Hertzog wrote: > On Wed, 18 Apr 2018, Hideki Yamane wrote: >> control: tags -1 +pending > > It's not "pending" because it's not yet pushed to the official git > repository. I don't know if you just forgot to push or if willingly kept > it out for now... Unmarking pending for this reason. Kind regards and thanks Philipp Kern