mmj2 error js does not exist

[William Mitchell Jr]

running mmj2 in the mmj2jar directory produced this error:

mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but the default Macro language 'js' does not exist. Use 'MacroLanguage,xxx' with one of the following installed languages:

This is the git version (uncompiled) running on

arm64

Debian Linux

openjdk-18

William

[David A. Wheeler]

Weird. I have no idea what's going on. Anyone else?

--- David A. Wheeler

[Mario Carneiro]

It sounds like the nashorn JS engine was removed from a later version of JDK, and the empty list following the prompt suggests there is no replacement. Without it you won't be able to run any macros, although you might be able to install it manually? The easiest thing to do is probably just to downgrade to JDK 9.

--
You received this message because you are subscribed to the Google Groups "Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email to metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CCC54F28-92E6-4C7D-B8EF-1A993DB50449%40dwheeler.com.

[David A. Wheeler]

> On Mar 2, 2023, at 4:36 PM, Mario Carneiro <di....@gmail.com> wrote:
>
> It sounds like the nashorn JS engine was removed from a later version of JDK, and the empty list following the prompt suggests there is no replacement. Without it you won't be able to run any macros, although you might be able to install it manually? The easiest thing to do is probably just to downgrade to JDK 9.

Ah, of course! I should have noticed the openjdk version more carefully.

Oracle has long warned that they'd stop supporting JavaScript from Java using the Nashorn JS engine, but mmj2 depends on it.

--- David A. Wheeler

>
> On Thu, Mar 2, 2023 at 3:53 PM David A. Wheeler <dwhe...@dwheeler.com> wrote:
>
>
> > On Mar 2, 2023, at 3:23 AM, William Mitchell Jr <wdm...@gmail.com> wrote:
> >
> > running mmj2 in the mmj2jar directory produced this error:
> >
> > mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but the default Macro language 'js' does not exist. Use 'MacroLanguage,xxx' with one of the following installed languages:
> >
> > This is the git version (uncompiled) running on
> > arm64
> > Debian Linux
> > openjdk-18
>
> Weird. I have no idea what's going on. Anyone else?
>
> --- David A. Wheeler
>
> --
> You received this message because you are subscribed to the Google Groups "Metamath" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to metamath+u...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CCC54F28-92E6-4C7D-B8EF-1A993DB50449%40dwheeler.com.
>
> --
> You received this message because you are subscribed to the Google Groups "Metamath" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to metamath+u...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSsoTbBby4QCy6zh-JEF%2B3qM80bSASPLJ4zk9RkA4%2B1C%2Bw%40mail.gmail.com.

[David Crisp]

If this is likely to be an issue going forward would it be a good idea to mavenize/gradleize the mmj2 build process so that the standalone version of nashorn-core (https://mvnrepository.com/artifact/org.openjdk.nashorn/nashorn-core) gets auto-downloaded and incorporated into the Jar file? It would increase the size of the jar somewhat but would at least ensure that the program isn't dependent on an antique version of Java? Although jdk8 is still technically under LTS it's no longer recommended for production use and anything modern should really be targeting jdk11+, if not jdk17.

I'm a Java guy and have some time off work coming up later this month, if Mel and Mario are okay with it I'd at least be willing to spend a day looking at the repo to see how much work it would be likely to be. 

DC

[Mario Carneiro]

I'm fine with this (and Mel is no longer active). I haven't done any Java work for the past 5 years or so beyond basic maintenance, so if you have a better idea of how to make stuff run on the new hotness then be my guest.

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/4d1ba8e0-5a86-416f-b554-6fb16484c17cn%40googlegroups.com.

[William Mitchell Jr]

openjdk-11-jdk works on my system.

Debian Sid

arm64

Java versions available to me: openjdk-8-jdk, openjdk-11-jdk, openjdk-17-jdk, openjdk-18-jdk, openjdk-19-jdk, openjdk-20-jdk, openjdk-21-jdk.

openjdk-8-jdk: fails (error message posted below)

openjdk-11-jdk: success

openjdk-17-jdk: fails (error message posted below)

openjdk-18-jdk through openjdk-21-jdk: fails (all with the same error message posted below)

openjdk-8-jdk:

Error: A JNI error has occurred, please check your installation and try again
Exception in thread "main" java.lang.UnsupportedClassVersionError: mmj/util/BatchFramework has been compiled by a more recent version of the Java Runtime (class file version 55.0), this version of the Java Runtime only recognizes class file versions up to 52.0
        at java.lang.ClassLoader.defineClass1(Native Method)
        at java.lang.ClassLoader.defineClass(ClassLoader.java:756)
        at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142)
        at java.net.URLClassLoader.defineClass(URLClassLoader.java:473)
        at java.net.URLClassLoader.access$100(URLClassLoader.java:74)
        at java.net.URLClassLoader$1.run(URLClassLoader.java:369)
        at java.net.URLClassLoader$1.run(URLClassLoader.java:363)
        at java.security.AccessController.doPrivileged(Native Method)
        at java.net.URLClassLoader.findClass(URLClassLoader.java:362)
        at java.lang.ClassLoader.loadClass(ClassLoader.java:418)
        at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:352)
        at java.lang.ClassLoader.loadClass(ClassLoader.java:351)
        at java.lang.ClassLoader.defineClass1(Native Method)
        at java.lang.ClassLoader.defineClass(ClassLoader.java:756)
        at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142)
        at java.net.URLClassLoader.defineClass(URLClassLoader.java:473)
        at java.net.URLClassLoader.access$100(URLClassLoader.java:74)
        at java.net.URLClassLoader$1.run(URLClassLoader.java:369)
        at java.net.URLClassLoader$1.run(URLClassLoader.java:363)
        at java.security.AccessController.doPrivileged(Native Method)
        at java.net.URLClassLoader.findClass(URLClassLoader.java:362)
        at java.lang.ClassLoader.loadClass(ClassLoader.java:418)
        at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:352)
        at java.lang.ClassLoader.loadClass(ClassLoader.java:351)
        at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:601)

openjdk-17-jdk:

Can't load library: /usr/lib/jvm/java-17-openjdk-arm64/lib/libawt_xawt.so
java.lang.UnsatisfiedLinkError: Can't load library: /usr/lib/jvm/java-17-openjdk-arm64/lib/libawt_xawt.so
        at java.base/java.lang.ClassLoader.loadLibrary(ClassLoader.java:2393)
        at java.base/java.lang.Runtime.load0(Runtime.java:755)
        at java.base/java.lang.System.load(System.java:1953)
        at java.base/jdk.internal.loader.NativeLibraries.load(Native Method)
        at java.base/jdk.internal.loader.NativeLibraries$NativeLibraryImpl.open(NativeLibraries.java:388)
        at java.base/jdk.internal.loader.NativeLibraries.loadLibrary(NativeLibraries.java:232)
        at java.base/jdk.internal.loader.NativeLibraries.loadLibrary(NativeLibraries.java:174)
        at java.base/jdk.internal.loader.NativeLibraries.findFromPaths(NativeLibraries.java:315)
        at java.base/jdk.internal.loader.NativeLibraries.loadLibrary(NativeLibraries.java:285)
        at java.base/java.lang.ClassLoader.loadLibrary(ClassLoader.java:2398)
        at java.base/java.lang.Runtime.loadLibrary0(Runtime.java:818)
        at java.base/java.lang.System.loadLibrary(System.java:1989)
        at java.desktop/java.awt.Toolkit$2.run(Toolkit.java:1392)
        at java.desktop/java.awt.Toolkit$2.run(Toolkit.java:1390)
        at java.base/java.security.AccessController.doPrivileged(AccessController.java:318)
        at java.desktop/java.awt.Toolkit.loadLibraries(Toolkit.java:1389)
        at java.desktop/java.awt.Toolkit.initStatic(Toolkit.java:1427)
        at java.desktop/java.awt.Toolkit.<clinit>(Toolkit.java:1401)
        at java.desktop/java.awt.Color.<clinit>(Color.java:277)
        at mmj.pa.PaConstants.<clinit>(PaConstants.java:863)
        at mmj.pa.ProofAsstPreferences.<init>(ProofAsstPreferences.java:339)
        at mmj.util.ProofAsstBoss.getProofAsstPreferences(ProofAsstBoss.java:1061)
        at mmj.util.ProofAsstBoss.editProofAsstUnifySearchExclude(ProofAsstBoss.java:628)
        at mmj.util.Boss.lambda$putCommand$0(Boss.java:107)
        at mmj.util.Boss.doRunParmCommand(Boss.java:121)
        at mmj.util.BatchFramework.executeRunParmCommand(BatchFramework.java:281)
        at mmj.util.BatchFramework.runIt(BatchFramework.java:223)
        at mmj.util.BatchMMJ2.main(BatchMMJ2.java:53)
Exception in thread "main" java.lang.NoClassDefFoundError: Could not initialize class mmj.pa.PaConstants
        at mmj.pa.ProofAsstPreferences.<init>(ProofAsstPreferences.java:339)
        at mmj.pa.ProofAsstPreferences.<init>(ProofAsstPreferences.java:266)
        at mmj.pa.AuxFrameGUI.<init>(AuxFrameGUI.java:61)
        at mmj.util.MMJ2FailPopupWindow.showAuxFrameGUI(MMJ2FailPopupWindow.java:229)
        at mmj.util.MMJ2FailPopupWindow.displayFailMessage(MMJ2FailPopupWindow.java:119)
        at mmj.util.BatchFramework.runIt(BatchFramework.java:243)
        at mmj.util.BatchMMJ2.main(BatchMMJ2.java:53

openjdk-18-jdk through openjdk-21-jdk:

mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but the default Macro language 'js' does not exist. Use 'MacroLanguage,xxx' with one of the following installed languages:

java.lang.IllegalStateException: mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but the default Macro language 'js' does not exist. Use 'MacroLanguage,xxx' with one of the following installed languages:

        at mmj.pa.MacroManager.<init>(MacroManager.java:93)
        at mmj.util.MacroBoss.getMacroManager(MacroBoss.java:115)
        at mmj.util.ProofAsstBoss.getProofAsst(ProofAsstBoss.java:313)
        at mmj.util.ProofAsstBoss.doRunProofAsstGUI(ProofAsstBoss.java:1020)
        at mmj.util.Boss.lambda$putCommand$0(Boss.java:107)
        at mmj.util.Boss.doRunParmCommand(Boss.java:121)
        at mmj.util.BatchFramework.executeRunParmCommand(BatchFramework.java:281)
        at mmj.util.BatchFramework.runIt(BatchFramework.java:223)
        at mmj.util.BatchMMJ2.main(BatchMMJ2.java:53)
Caused by: mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but the default Macro language 'js' does not exist. Use 'MacroLanguage,xxx' with one of the following installed languages:

        ... 9 more
Caused by: mmj.pa.ProofAsstException: E-PA-1501 MacroLanguage 'js' does not exist.

        at mmj.pa.MacroManager.lambda$new$2(MacroManager.java:88)
        at mmj.pa.Setting.lambda$addValidation$0(Setting.java:42)
        at mmj.pa.Setting.addListener(Setting.java:33)
        at mmj.pa.Setting.addValidation(Setting.java:41)
        at mmj.pa.MacroManager.<init>(MacroManager.java:73)
        ... 8 more

mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but the default Macro language 'js' does not exist. Use 'MacroLanguage,xxx' with one of the following installed languages:

Thanks,

William

[Mario Carneiro]

This seems like a strange error, it sounds like you attempted to use a jar compiled by a newer version of the JDK. If you switch to an older version than the one used by the pre-built .jar file, you will need to recompile the .jar file from the sources. (You might still have trouble, but I think JDK 8 should work. An expected error for using a too-old version would be something like not recognizing lambda functions or a class from the standard library.)

[David Crisp]

On Friday, 3 March 2023 at 22:41:54 UTC wdm...@gmail.com wrote:

openjdk-11-jdk works on my system.

Debian Sid

arm64

Java versions available to me: openjdk-8-jdk, openjdk-11-jdk, openjdk-17-jdk, openjdk-18-jdk, openjdk-19-jdk, openjdk-20-jdk, openjdk-21-jdk.

openjdk-8-jdk: fails (error message posted below)

openjdk-11-jdk: success

openjdk-17-jdk: fails (error message posted below)

openjdk-18-jdk through openjdk-21-jdk: fails (all with the same error message posted below)

 The issue with JDK8 is what Mario suggests, and the issues with JDK18+ are what I'd expect from missing Nashorn support, but 17 is a weird one. I'd expect it to fail for the same reason as 18 (Nashorn was removed in 14) but it looks like it's not even getting that far and is instead having trouble with loading the GUI libraries (libawt_xawt.so is the library that implements Java's low-level windowing functionality on top of X11).

I suspect this is an issue with your install of 17, but I don't currently have an ARM system available to me so I can't test it myself with your exact setup - would you mind please trying to uninstall and reinstall 17 for me and seeing if you get the same stacktrace? If you do I'll add it to my list of things to investigate once I start diving into the code - 17 is the most recent LTS version, so it's one that we really want mmj2 to work with if at all possible.

Thanks

Dave

[Mario Carneiro]

By the way, if you are thinking about modernizing mmj2 there are two known issues with newer versions of the JDK. One is the missing nashorn support as already mentioned, and the other is an issue in the undo system which causes ComposedEdits to not work correctly (the required class doesn't exist on JDK 10+). It is being version-checked now so you shouldn't get any build failures, but the user experience is that undo goes one character at a time which is pretty miserable. Maybe there is something in newer versions of the JDK for this but I couldn't find anything useful in JDK 10. That's why I recommend JDK 9 for most mmj2 users.

--

You received this message because you are subscribed to the Google Groups "Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email to metamath+u...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/ba2288fa-9f13-4d50-8334-cc6fc361e117n%40googlegroups.com.

[William Mitchell Jr]

After git clone https://github.com/digama0/mmj2,

Success: compile with openjdk-11-jdk and runtime openjdk-11-jdk.

Every other combination of compiling/runtime I have available fails.

Here is the error message from compiling and running under openjdk-17-jdk:

Error: LinkageError occurred while loading main class mmj.util.BatchMMJ2
        java.lang.UnsupportedClassVersionError: mmj/util/BatchMMJ2 has been compiled by a more recent version of the Java Runtime (class file version 65.0), this version of the Java Runtime only recognizes class file versions up to 61.0

William

[William Mitchell Jr]

Here is the output of strace mmj2/mmj2jar/mmj2 compiled and run under openjdk-17-jdk, Debian Sid, arm64, x11:

https://pastebin.com/zcwgs2pc

William

[Mario Carneiro]

The strace output is not very informative because mmj2/mmj2jar/mmj2 is actually a shell script which calls java. Most of what you can see is just bash reading the script. You can call java directly if you want a more useful trace.

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/eefc22b1-5a98-4509-8bd9-bba24f410af2n%40googlegroups.com.

[William Mitchell Jr]

Here is the output of strace java -jar mmj2/mmj2jar/mmj2.jar:

https://pastebin.com/eMMHSGLs

William

[Mario Carneiro]

what is the regular output?

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/b28d7f73-e42e-449c-a463-49d68af61160n%40googlegroups.com.

[William Mitchell Jr]

java -jar mmj2/mmj2jar/mmj2.jar:

Error: LinkageError occurred while loading main class mmj.util.BatchMMJ2
        java.lang.UnsupportedClassVersionError: mmj/util/BatchMMJ2 has been compiled by a more recent version of the Java Runtime (class file version 65.0), this version of the Java Runtime only recognizes class file versions up to 61.0

William

[Mario Carneiro]

This is the same error as before, you need to compile the java files using the same version as the one you use to run the jar file (in this case JDK 17). Since you are switching between versions it is likely you forgot to recompile and are using a class file from JDK 18+, as the error message says.

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/3e337566-46c7-4c77-8baf-fb646238e8a9n%40googlegroups.com.

[William Mitchell Jr]

Oops.

Output of java -jar mmj2/mmj2jar/mmj2.jar compiled and run with JDK 17:

CommandLineArguments.displayArgumentOptionReport():

Hi! I am mmj2 v2.5.3 as of 23-Sep-2019.
Visit https://github.com/digama0/mmj2/ or
http://code.google.com/p/metamath-mmj2/
for support or bug reports.

  Command Line Arguments:

  [3] mmj2Path     = null (e.g. /home/wdmjun/YourFile.xyz)
  [4] metamathPath = null (e.g. /home/wdmjun/YourFile.xyz)
  [5] svcPath      = null (e.g. /home/wdmjun/YourFile.xyz)
  [1] runParmFile  = null
  [2] displayMMJ2FailPopupWindow
                   = true

***END CommandLineArguments.displayArgumentOptionReport()***

mmj.pa.ErrorCode@5ef04b5A-UT-0007 RunParmFile not found or SecurityException. Input file name = null System message follows: null
Exception in thread "main" java.lang.UnsatisfiedLinkError: Can't load library: /usr/lib/jvm/java-17-openjdk-arm64/lib/libawt_xawt.so

        at java.base/java.lang.ClassLoader.loadLibrary(ClassLoader.java:2393)
        at java.base/java.lang.Runtime.load0(Runtime.java:755)
        at java.base/java.lang.System.load(System.java:1953)
        at java.base/jdk.internal.loader.NativeLibraries.load(Native Method)
        at java.base/jdk.internal.loader.NativeLibraries$NativeLibraryImpl.open(NativeLibraries.java:388)
        at java.base/jdk.internal.loader.NativeLibraries.loadLibrary(NativeLibraries.java:232)
        at java.base/jdk.internal.loader.NativeLibraries.loadLibrary(NativeLibraries.java:174)
        at java.base/jdk.internal.loader.NativeLibraries.findFromPaths(NativeLibraries.java:315)
        at java.base/jdk.internal.loader.NativeLibraries.loadLibrary(NativeLibraries.java:285)
        at java.base/java.lang.ClassLoader.loadLibrary(ClassLoader.java:2398)
        at java.base/java.lang.Runtime.loadLibrary0(Runtime.java:818)
        at java.base/java.lang.System.loadLibrary(System.java:1989)
        at java.desktop/java.awt.Toolkit$2.run(Toolkit.java:1392)
        at java.desktop/java.awt.Toolkit$2.run(Toolkit.java:1390)
        at java.base/java.security.AccessController.doPrivileged(AccessController.java:318)
        at java.desktop/java.awt.Toolkit.loadLibraries(Toolkit.java:1389)
        at java.desktop/java.awt.Toolkit.initStatic(Toolkit.java:1427)
        at java.desktop/java.awt.Toolkit.<clinit>(Toolkit.java:1401)
        at java.desktop/java.awt.Color.<clinit>(Color.java:277)
        at mmj.pa.PaConstants.<clinit>(PaConstants.java:863)
        at mmj.pa.ProofAsstPreferences.<init>(ProofAsstPreferences.java:339)

        at mmj.pa.ProofAsstPreferences.<init>(ProofAsstPreferences.java:266)
        at mmj.pa.AuxFrameGUI.<init>(AuxFrameGUI.java:61)
        at mmj.util.MMJ2FailPopupWindow.showAuxFrameGUI(MMJ2FailPopupWindow.java:229)
        at mmj.util.MMJ2FailPopupWindow.displayFailMessage(MMJ2FailPopupWindow.java:119)
        at mmj.util.BatchFramework.runIt(BatchFramework.java:243)

        at mmj.util.BatchMMJ2.main(BatchMMJ2.java:53)

William

[Mario Carneiro]

(FYI you have to pass arguments to the jar file if you don't want it to immediately quit with an error message, this is why the bash wrapper exists. But the missing .so error seems to happen first.) Googling this seems to suggest that your JDK 17 installation is broken, try reinstalling it. Does the indicated file "/usr/lib/jvm/java-17-openjdk-arm64/lib/libawt_xawt.so" exist?

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/b30d4fdc-0f69-42fc-b99d-93ba02034a81n%40googlegroups.com.

[William Mitchell Jr]

after apt install openjdk-17-jre,

java --version:
openjdk 17.0.6 2023-01-17
OpenJDK Runtime Environment (build 17.0.6+10-Debian-1)
OpenJDK 64-Bit Server VM (build 17.0.6+10-Debian-1, mixed mode, sharing)

jar --version:
jar 21-ea

output of mmj2/mmj2jar/mmj2:

https://pastebin.com/5Xgy1e0u

output of java -jar mmj2/mmj2jar/mmj2.jar compiled and run with JDK 17:

CommandLineArguments.displayArgumentOptionReport():

Hi! I am mmj2 v2.5.3 as of 23-Sep-2019.
Visit https://github.com/digama0/mmj2/ or
http://code.google.com/p/metamath-mmj2/
for support or bug reports.

  Command Line Arguments:

  [3] mmj2Path     = null (e.g. /home/wdmjun/YourFile.xyz)
  [4] metamathPath = null (e.g. /home/wdmjun/YourFile.xyz)
  [5] svcPath      = null (e.g. /home/wdmjun/YourFile.xyz)
  [1] runParmFile  = null
  [2] displayMMJ2FailPopupWindow
                   = true

***END CommandLineArguments.displayArgumentOptionReport()***

mmj.pa.ErrorCode@5ef04b5A-UT-0007 RunParmFile not found or SecurityException. Input file name = null System message follows: null

William

[Mario Carneiro]

That's the expected error when you run mmj2.jar without any arguments. Try running the bash script now.

To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/4ae64dff-2206-4dd4-b04b-e57284250843n%40googlegroups.com.

[Mario Carneiro]

Oops, you already sent the result. This is the nashorn error, same as for JDK 18+.

[William Mitchell Jr]

All is well with JDK 11.

Thanks for all of your help.

William

[jannik vierling]

Hi, I have converted mmj2 to a maven project (see https://github.com/jvierling/mmj2) and included the `nashorn-core` dependency. The mmj2 executable JAR file can be generated with the command `mvn package`.

Jannik.

[William Mitchell Jr]

Debian Sid, arm64, X11, JDK 17 works. Thanks.

 

$ java --version:

openjdk 17.0.6 2023-01-17
OpenJDK Runtime Environment (build 17.0.6+10-Debian-1)
OpenJDK 64-Bit Server VM (build 17.0.6+10-Debian-1, mixed mode, sharing)

Build:

$ git clone https://github.com/jvierling/mmj2

$ cd mmj2

$ mvn package

Success

Run:

$ cd mmj2jar

$ mv mmj2.jar mmj2.jar.old

$ cp -vp ../target/mmj2-2.5.2-SNAPSHOT-jar-with-dependencies.jar mmj2.jar

$ cd

$ mmj2/mmj2jar/mmj2

Success

William

[Benoit]

Thanks for the modification, Jannik.  We won't have to downgrade Java anymore.  Is it possible to merge it with the original repo, so that we do not have multiple places to choose from ?

Benoît

[David A. Wheeler]

> On Mar 5, 2023, at 11:02 AM, Benoit <benoit...@gmail.com> wrote:
>
> Thanks for the modification, Jannik. We won't have to downgrade Java anymore. Is it possible to merge it with the original repo, so that we do not have multiple places to choose from ?

Indeed! Please post a pull request, this is definitely of interest :-).

--- David A. Wheeler

[jannik vierling]

The pull request is now opened and waits to be merged :)
Jannik.

[David A. Wheeler]

> On Mar 6, 2023, at 4:07 PM, jannik vierling <jannik....@gmail.com> wrote:
>
> The pull request is now opened and waits to be merged :)
> Jannik.

Spectacular!

Those are curious can follow it here:
https://github.com/digama0/mmj2/pull/65

There's some tweaking under discussion, but I'm very happy to see this!

--- David A. Wheeler