Skip to content

Coercions and sections #5222

Closed
#15789
Closed
Coercions and sections#5222
#15789
Labels
kind: user messagesError messages, warnings, etc.part: coercionsThe coercion mechanism.
Milestone
8.16+rc1
@coqbot

Description

@coqbot
coqbot
opened on Nov 22, 2016

Note: the issue was created automatically with bugzilla2github tool

Original bug ID: BZ#5222
From: @jhjourdan
Reported version: 8.5
CC: @silene

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind: user messagesError messages, warnings, etc.part: coercionsThe coercion mechanism.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions