From 96a6c1bb1be862dab77bb7e3a9cd9c15ed09163b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Sun, 8 Sep 2024 17:36:52 +0200
Subject: [PATCH] [meta] Add license info for sertop.el

Fixes #411
---
 LICENSE | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/LICENSE b/LICENSE
index b4080fa9..81a1957f 100644
--- a/LICENSE
+++ b/LICENSE
@@ -10,6 +10,10 @@ Files: sertop/js_sexp_printer.ml*
 License: MIT
 Copyright: Copyright (c) 2005--2023 Jane Street Group, LLC <opensource-contacts@janestreet.com>
 
+Files: sertop/sertop.el
+License: GPL-v3
+Copyright: Copyright (C) 2016  Clément Pit-Claudel
+
 Files: serlib/* serapi/* sertop/ser* sertop/comp*
 License: LGPL-2.1+
 Copyright: 2016-2023, MINES ParisTech / Inria / others