Quantcast
Channel: GHC: Ticket #7138: GHCi does no respect -ignore-dot-ghci anymore
Browsing all 8 articles
Browse latest View live

comment added; resolution set; status changed

status changed from new to closedresolution set to fixed Merged as 24c5c501461c9dde9858970a463672c0ac7912a5.

View Article



comment added

commit f78b31a36b5b49afbdea199269319faca261c898 Author: Paolo Capriotti <p.capriotti@gmail.com> Date: Mon Aug 13 12:48:29 2012 +0100 Fix ambiguous flag resolution (#7138) Pick longest flag when...

View Article

comment added; owner set

owner set to pcapriotti

View Article

comment added; difficulty, milestone set; priority changed

priority changed from normal to highestdifficulty set to Unknownmilestone set to 7.6.1 We think this is caused by the "-i" flag consuming this argument.

View Article

status changed; resolution set

status changed from new to closedresolution set to fixed Merged as 24c5c501461c9dde9858970a463672c0ac7912a5.

View Article


Article 2

commit f78b31a36b5b49afbdea199269319faca261c898Author: Paolo Capriotti <p.capriotti@gmail.com> Date: Mon Aug 13 12:48:29 2012 +0100 Fix ambiguous flag resolution (#7138) Pick longest flag when...

View Article

owner set

owner set to pcapriotti

View Article

priority changed; difficulty, milestone set

priority changed from normal to highestdifficulty set to Unknownmilestone set to 7.6.1 We think this is caused by the "-i" flag consuming this argument.

View Article

Browsing all 8 articles
Browse latest View live


Latest Images