Skip to content
Snippets Groups Projects
Commit 992aeed8 authored by Tom Tromey's avatar Tom Tromey
Browse files

Use ui_out_redirect_pop in more places 

This changes ui_out_redirect_pop to also perform the redirection, and
then updates several sites to use this, rather than explicit
redirects.
parent 55a66034
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment