Closed rgrinberg closed 8 years ago
Would be great if the 4.02.3 branch was released with this
Thanks! I'll let @Drup manage the 4.02.3 branch (or not).
@alainfrisch
git checkout 4.02 git cherry-pick 7fcf5da bcb181e fc7489b git push
;)
Would be great if the 4.02.3 branch was released with this