Hi Aaron, Aaron Ecay <aarone...@gmail.com> writes:
I’m a bit fuzzy on the development practices these days...should I now merge maint to master in order to get the fix there as well? Or is there some other arrangement for that?
Thanks for fixing this!Yeah, please merge maint back into master. That's it. Here’s a recent example:
http://orgmode.org/cgit.cgi/org-mode.git/commit/?id=aee808987da50fbf44fb762519914ae6bd458876
Cheers,
Rasmus
--
A clever person solves a problem. A wise person avoids it
