Here is a PR created by (essentially manually) copying exec/, R/ and NAMESPACE from cran2deb2 back into here. That seem to be the only differences (and GitHub didn't let merge because it assumed different histories).
Take a look, and if ok please approve or just merge. Happy New Year!
Hi @marutter
Here is a PR created by (essentially manually) copying
exec/
,R/
andNAMESPACE
from cran2deb2 back into here. That seem to be the only differences (and GitHub didn't let merge because it assumed different histories).Take a look, and if ok please approve or just merge. Happy New Year!