[gedit] (4 commits) Non-fast-forward update to branch wip/tab-raviolli

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

The branch 'wip/tab-raviolli' 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:

  ad19d95... tab: some coding style fixes
  7e5d79f... tab: remove install_auto_save_timeout()
  c9508b9... tab: simplify auto save timeout removing

Commits added to the branch:

  b180894... tab: remove install_auto_save_timeout() (*)
  22a1771... tab: simplify auto save timeout removing (*)
  ca2b0ce... tab: update_auto_save_timeout() in gedit_tab_set_state() (*)
  902f66a... tab: some cleanup

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