7ec1bedeed
As suggested by PulkoMandy. This was done before my commits yesterday, but those just reverted patches that had only been in since May, so it's not clear how much this is actually needed. Nonetheless it seems like the more correct thing to do. |
||
---|---|---|
.. | ||
bsd | ||
gnu |