Change definition of "introduced_in" field in the history tables#354

magnusbaeck merged 2 commits intoeiffel-community:mastereiffel-community/eiffel:masterfrom

magnusbaeck:introduced_inmagnusbaeck/eiffel:introduced_inCopy head branch name to clipboard