#12172: User's Guide patches
-------------------------------------+-------------------------------------
Reporter: thomie | Owner:
Type: task | Status: merge
Priority: normal | Milestone: 8.0.2
Component: Documentation | Version: 8.0.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Documentation | Unknown/Multiple
bug | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by thomie):
* status: new => merge
Comment:
commit e703a232174fd6e6cc42f2b27a2d9a2a17957aa7
{{{
Author: Thomas Miedema