[zanata/zanata-platform] 1f651a: fix: GWT editor option (#890)

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/zanata/zanata-platform
  Commit: 1f651a313bdcc6ba601661cdffccaa53b00f5600
      https://github.com/zanata/zanata-platform/commit/1f651a313bdcc6ba601661cdffccaa53b00f5600
  Author: Alex Eng <aeng at redhat.com>
  Date:   2018-06-08 (Fri, 08 Jun 2018)

  Changed paths:
    M server/services/src/main/java/org/zanata/webtrans/server/rpc/LoadOptionsHandler.java

  Log Message:
  -----------
  fix: GWT editor option (#890)

https://zanata.atlassian.net/browse/ZNTA-2618


  Commit: 937493a87eab71377333302d1ae3cb5c7847b6b8
      https://github.com/zanata/zanata-platform/commit/937493a87eab71377333302d1ae3cb5c7847b6b8
  Author: Zanata Build Server <jenkins at zanata.org>
  Date:   2018-06-08 (Fri, 08 Jun 2018)

  Changed paths:
    M server/services/src/main/java/org/zanata/webtrans/server/rpc/LoadOptionsHandler.java

  Log Message:
  -----------
  Merge commit '1f651a313bdcc6ba601661cdffccaa53b00f5600' into HEAD


Compare: https://github.com/zanata/zanata-platform/compare/4f5b384712c1...937493a87eab
      **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.