[debbugs-tracker] Processed: Re: bug#18223: Duplicate of issue 14792

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> merge 18223 14792
bug#14792: Error in manual "(guile-2) Object Properties"
bug#18223: [PATCH] Fix thinko concerning object property docs
Merged 14792 18223.

> close 18223
bug#18223: [PATCH] Fix thinko concerning object property docs
bug#14792: Error in manual "(guile-2) Object Properties"
bug closed, send any further explanations to
address@hidden and David Kastrup <address@hidden>

> close 14792
bug#14792: Error in manual "(guile-2) Object Properties"
bug is already closed, cannot re-close.

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/