commit | 82da8a6c5d23513cb6368a642e9ccecc46fcf99a | [log] [tgz] |
---|---|---|
author | Thomas Andraschko <tandraschko@apache.org> | Tue Jun 11 14:39:27 2019 +0100 |
committer | GitHub <noreply@github.com> | Tue Jun 11 14:39:27 2019 +0100 |
tree | fa124764a0dc9fab62d3f7958529e1270647de17 | |
parent | d0e6edff8a0460e95e0877df370e8d70adf0b563 [diff] | |
parent | 8ff76c7df591d271103f7253451110568d227e82 [diff] |
Merge pull request #91 from j-be/DELTASPIKE-1382 DELTASPIKE-1382: Use window.location.replace() for WindowId redirect.