id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,difficulty 179,add `platform` extension property,felix winkelmann,,"Some extensions are only suited for a particular set of platforms. A dedicated extension property, placed in the .meta file, could be used to declare extensions valid only for those platforms listed. ",enhancement,closed,minor,,core tools,4.3.x,fixed,chicken-install,,