General question about redirect…

Hey, I noticed that your redirect from old to new works well with your plugin automatically. For example old permalink /%postname%/ new permalink /%category%/%postname%/ . Redirects from old to new works great!

I am wondering if you coded this redirect function into the plugin yourself or something WordPress is just correcting by title?

Thanks.