Fixes #3732: take technique version into account to decide if a directive is modified
Merge pull request #279 from fanf/bug_3732/migrate_directive_there_are_no_modifications_to_save

Fixes #3732: take technique version into account to decide if a directive is modified