From 0f7a3f472124a6cd3bdbd3c5870fdd9f7903d691 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 30 Apr 2020 08:45:17 -0700 Subject: [PATCH] add dep (fixes #223) --- info.rkt | 3 ++- pollen/private/ts.rktd | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/info.rkt b/info.rkt index 8c99000..6133eac 100644 --- a/info.rkt +++ b/info.rkt @@ -15,7 +15,8 @@ "scribble-text-lib" "rackunit-lib" "gui-lib" - "string-constants-lib")) + "string-constants-lib" + "net-lib")) (define build-deps '("plot-gui-lib" "scribble-lib" "racket-doc" diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index eea60c0..0701088 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1587840895 +1588261516