[PUSHED libreoffice-4-0-2] deb#703486: Keep migrating more user extensions after one fa...

[Noel Power (via Code Review)]

Hi,

Thank you for your patch!  It has been merged to LibreOffice.

If you are interested in details, please visit

    https://gerrit.libreoffice.org/2878

Approvals:
  Noel Power: Verified; Looks good to me, approved
  Fridrich Strba: Looks good to me, but someone else must approve


-- 
To view, visit https://gerrit.libreoffice.org/2878
To unsubscribe, visit https://gerrit.libreoffice.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I9cc8acac54bd5a02652462c3967b4c81f7cf8ee3
Gerrit-PatchSet: 2
Gerrit-Project: core
Gerrit-Branch: libreoffice-4-0-2
Gerrit-Owner: Stephan Bergmann <sbergman at redhat.com>
Gerrit-Reviewer: Fridrich Strba <fridrich at documentfoundation.org>
Gerrit-Reviewer: Noel Power <noel.power at suse.com>