1. ce917c5 Redirection type of a redirecting factory can be deferred by Matthias Hausner ยท 10 years ago