[gedit] (6 commits) Non-fast-forward update to branch wip/fix-external-tools

[Sébastien Wilmet <swilmet src gnome org>]

The branch 'wip/fix-external-tools' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  baa8666... commands-file: save_as_tab_async()/finish()
  ebdd0b9... commands-file: save next tab in async ready callback
  e21a9e7... commands-file: async/finish version of gedit_commands_save_
  3876d65... Port the external-tools plugin to the new file saving API

Commits added to the branch:

  62b0a02... Fix some memory leaks [cppcheck] (*)
  e309398... Fix a typo in get_page_at_coords() [cppcheck] (*)
  84e901f... commands-file: save_as_tab_async()/finish()
  ceeea14... commands-file: save next tab in async ready callback
  58369a5... commands-file: async/finish version of gedit_commands_save_
  15a803d... Port the external-tools plugin to the new file saving API

(*) This commit already existed in another branch; no separate mail sent