[Github-comments] [geany/geany] merge (#1637)