# HG changeset patch
# User HackBot
# Date 1456963500 0
# Node ID 53e47c85558ea613ef036fb8912e564faf6a8a9a
# Parent  771e95bd86b5c38f15a4c4f7ffe53e267045fac7
<oerjan> learn optional.

diff -r 771e95bd86b5 -r 53e47c85558e wisdom/optional.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/optional.	Thu Mar 03 00:05:00 2016 +0000
@@ -0,0 +1,1 @@
+optional.