bug#45228: closed ([PATCH 0/2] Update Purescript to 0.13.8)

[GNU bug Tracking System]

Your message dated Sun, 13 Dec 2020 16:55:46 -0500
with message-id <X9aN4tiTk9P+G9ji@jasmine.lan>
and subject line Re: [bug#45228] [PATCH 0/2] Update Purescript to 0.13.8
has caused the debbugs.gnu.org bug report #45228,
regarding [PATCH 0/2] Update Purescript to 0.13.8
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
45228: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=45228
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/2] Update Purescript to 0.13.8
>
>
>
>
> Date: 
>
> Sun, 13 Dec 2020 23:39:55 +0300
>
>
>
>
> Hi all! Find attached a patch-set that bumps up Purescript to the latest
> stable release. The updated patch file simply updates the line-numbers.
>
> BonfaceKilz (2):
>   gnu: purescript: Update patch for Purescript 0.13.8.
>   gnu: purescript: Update to 0.13.8.
>
>  .../purescript-relax-dependencies.patch       | 28 +++++++++----------
>  gnu/packages/purescript.scm                   |  7 +++--
>  2 files changed, 18 insertions(+), 17 deletions(-)
>
> -- 
> 2.29.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#45228] [PATCH 0/2] Update Purescript to 0.13.8
>
>
>
>
> Date: 
>
> Sun, 13 Dec 2020 16:55:46 -0500
>
>
>
>
> On Sun, Dec 13, 2020 at 11:39:55PM +0300, BonfaceKilz wrote:
> > Hi all! Find attached a patch-set that bumps up Purescript to the latest
> > stable release. The updated patch file simply updates the line-numbers.
>
> Thanks! Pushed as ce8c83ddab20e74b73fa4902af9ccbea8faf8df7
>
>
> --- End Message ---