Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 772848 - dev-ml/menhir-20190924: stabilisation
Summary: dev-ml/menhir-20190924: stabilisation
Status: RESOLVED DUPLICATE of bug 772833
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords: CC-ARCHES
Depends on:
Blocks:
 
Reported: 2021-02-25 07:00 UTC by Sam James
Modified: 2021-02-25 07:02 UTC (History)
0 users

See Also:
Package list:
dev-ml/menhir-20190924 *
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-02-25 07:00:36 UTC 
Thanks!
Comment 1 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-02-25 07:02:51 UTC 

*** This bug has been marked as a duplicate of bug 772833 ***