Inter is a typeface carefully crafted & designed for computer screens.
Inter features a tall x-height to aid in readability of mixed-case and
lower-case text. Several OpenType features are provided as well, like
contextual alternates that adjusts punctuation depending on the shape of
surrounding glyphs, slashed zero for when you need to disambiguate "0" from
"o", tabular numbers, etc.
ok rsadowski@
timing.c:103:8: warning: incompatible pointer types passing 'long *' to
parameter of type 'time_t *' (aka 'long long *') [-Wincompatible-pointer-types]
Tested by Alessandro DE LAURENZIS (maintainer)
"Dinit" is a service supervisor with dependency support.
Input from, and OK, sthen@. Many thanks.
Also thanks to upstream (Davin McCall) for working with me to fix some
bugs found during the porting process.
pySMT makes working with Satisfiability Modulo Theory simple.
Among others, you can:
* Define formulae in a solver independent way in a simple and
inutitive way,
* Write ad-hoc simplifiers and operators,
* Dump your problems in the SMT-Lib format,
* Solve them using one of the native solvers, or by wrapping any
SMT-Lib complaint solver.
feedback and ok kn@
NetworkX is a Python package for the creation, manipulation,
and study of the structure, dynamics, and functions
of complex networks.
Feedback and OK jasper
This module provides various memoizing collections and decorators,
including variants of the Python 3 Standard Library `@lru_cache`_
function decorator.
Feedback and OK jasper
CVE-2019-12735 Arbitrary Code Execution via Modelines
https://github.com/numirias/security/blob/master/doc/2019-06-04_ace-vim-neovim.md
"Beyond patching, it's recommended to disable modelines in the vimrc
(set nomodeline), to use the securemodelines plugin, or to disable
modelineexpr (since patch 8.1.1366, Vim-only) to disallow expressions in
modelines."
MODJAVA_VER to 1.8; feedback/ok ian@
While here:
* Add a reminder about checking if future updates will work with jdk 11
(text borrowed from sthen@)
* Switch to the new PERMIT_* markers (thanks to naddy@ for confirming that
this is the right way to do this)
* Change the HOMEPAGE to use https
