I am using Chrome and it is closed by default <br><br>On Monday, February 13, 2017, Richard Eisenberg <<a href="mailto:rae@cs.brynmawr.edu">rae@cs.brynmawr.edu</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
> On Feb 13, 2017, at 1:06 PM, Ben Gamari <<a href="javascript:;" onclick="_e(event, 'cvml', 'ben@smart-cactus.org')">ben@smart-cactus.org</a>> wrote:<br>
><br>
> What browsers are you all using?<br>
<br>
Firefox, in agreement with your experience.<br>
______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="javascript:;" onclick="_e(event, 'cvml', 'ghc-devs@haskell.org')">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
</blockquote>