Talk:Gekko/@comment-33698872-20171219154837/@comment-26188980-20171220070338

oh. Then it probably was a bug after all