-
Michael Natterer authored
This is mostly core code which we want to keep in sync with master as long as possible, so I picked this one even though not strictly neccessary. (cherry picked from commit 1b7d63cc)
52e3eb32
This is mostly core code which we want to keep in sync with master as long as possible, so I picked this one even though not strictly neccessary. (cherry picked from commit 1b7d63cc)