Added by Peter Van den Bosch almost 18 years ago. Updated almost 18 years ago.
Description
This is a small patch for #1643, making some new functionality of the menu manager work on ruby 1.8.6.
This patch applies against r1687.
Files
Peter Van den Bosch wrote:
This is a small patch for #1643, making some new functionality of the menu manager work on ruby 1.8.6. This patch applies against r1687.
Correction, applies against r1678.
Fix applied in r1679. Thanks.
Also available in: Atom PDF