Discussion:
[urbit] Urbit contributor roundup: November 6, 2015
Raymond Pasco
2015-11-06 23:25:03 UTC
Permalink
In the past few weeks, we've had a variety of useful contributions from
the community.

John Franklin (~ramren-lagfer, jfranklin9000 on GitHub) has brought our
bundled libuv version from 0.11 to the much less outdated 1.7.5. He has
also contributed some useful quality-of-life fixes to the C side of the
Urbit project.

Charlie Cummings (~mossug-tasled, chc4 on GitHub) has fixed the broken
implementation of ++lore and ++role, line-splitting arms in the standard
library, and written reference jets for them. He has also continued to
clean and document the Urbit virtual machine's command-line flags.

Jacob MacDonald (~rabtug-molhut, jaccarmac on GitHub) caught a
longstanding bug in the Hoon mode for Emacs.

Wilder Ramsey (~witrys-tacnyr, wilderr on GitHub) and Risto Saarelma
(rsaarelm on GitHub) have contributed fixes to our documentation. Dan
Phiffer (~fodwyx-dovbyl, dphiffer on GitHub) contributed to the rewrite
of our readme.

Further contributions are encouraged. Please read CONTRIBUTING.md
(https://github.com/urbit/urbit/blob/master/CONTRIBUTING.md) for more
information if you are interested, and thanks to those who have already
contributed to the project.
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
John Franklin
2015-11-07 12:03:33 UTC
Permalink
Thanks for the mention!

For the record, I'm ~ripnul-rilnyx. Don't know who ~ramren is.
--
You received this message because you are subscribed to the Google Groups "urbit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to urbit-dev+***@googlegroups.com.
To post to this group, send email to urbit-***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Loading...